Re: PCMCIA and other help

[Ian Duggan <ian@ianduggan.net>]

> 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

ian@ianduggan.net
415-377-4426