uk576 Wed, 24 Oct 2001 12:10:38 -0700
Have you been to www.opencores.org ? I believe that if they had an opensource 32 bit or better core they would be able to port linux to that as bios/OS.
