Changes are in mainline linux for "public" ethernet support (device
config support).  Currently, the attached patch is needed in
the microkernel for interrupt delivery to work.

larry

ps: nfs root mounting cheat will come shortly.