Re: PCMCIA and other help
> 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.