aiju build a computer arround the xilinx zynq-7000 (dualcore arm cortex A9 with fpga):
http://aiju.de/electronics/aijuboard/ and wrote kernel and bootloader here: http://code.google.com/p/plan9front/source/browse/sys/src/9/zynq/ http://code.google.com/p/plan9front/source/browse/sys/src/boot/zynq/ the kernel supports multiprocessing (with all the caches enabled), the fpga, gigabit ethernet and displayport. boots over tftp. http://img.stanleylieber.com/?tags=aijuboard things todo: usb, sata, sdcard. -- cinap
