> And L4-hurd might still use OSKit device drivers (although I don't
> really know how well it fits together).
There is work being done in the L4Env project at Dresden to create a
framework for L4 that would allow one to drop in Linux drivers and
recompile to get a working driver. I'm not sure of the status of the
project, but it appears to be under development.
There is also a paper that includes information on how to get OSKit
device drivers working with L4.
http://os.inf.tu-dresden.de/~hohmuth/prj/oskit-l4.ps.gz
-- Ian
[EMAIL PROTECTED]
415-377-4426
