With the release 2008-09, Genode FX supports the PowerPC 440 as available in certain Xilinx Virtex 5 FPGAs. A demo for the ML507 board is available. On this board, Genode FX runs on the PowerPC clocked at 300 MHz and uses the DVI connector for video output. The resolution is 1024x768.
Log in to post a comment.