They presented this at FOSDEM today, and ran the entire presentation (and a demo afterwards) on the actual hardware. They used PCI via an FPGA to interface with a standard ATI gfx card iirc. I don't know if the video is out yet, but have a look!