A quick look at a pre-production Raspberry Pi board and in particular the video output capabilities, showing an HD video running in Linux from an SD card. You can find out much more about this cool project at http://www.raspberrypi.org and look at their FAQ to learn the details. They also blogged about the details of this video.