Building device drivers with oskit10_support_l4env

Christian Helmuth ch12 at
Wed Oct 12 20:01:09 CEST 2005


On Wed, Oct 12, 2005 at 09:18:15AM -0700, Shakthi Kannan wrote:
> --- Christian Helmuth <ch12 at> > wrote:
> > We in Dresden make heavy use of the Device Driver
> > Environment (dde_linux)
> > approach and have running drivers for (package names
> > in parentheses):
> > sound (dde_linux/examples/sound), usb (usb), 
> USB? What do I need to check out for usb? Where is
> this available in the CVS?

Unfortunately, the usb package is not ready for the public and so not part
of the remote CVS. I personally played around with another Linux 2.4 USB
port some weeks ago to have a HID driver for our GUI. If this is what you
need I may provide you the code, but only limited support - it's just toy
at this stage.

Christian Helmuth

TU Dresden, Dept. of CS
Operating Systems Group

More information about the l4-hackers mailing list