[Mike] has been filling up a rather intense wiki entry outlining how to run uClinux on a DE0-nano FPGA board ... of the beast features of the uClinux kernel. And the FPGA tools are closed ...