Building device drivers with oskit10_support_l4env

Christian Helmuth ch12 at
Thu Oct 13 10:35:03 CEST 2005

Good morning everyone,

On Thu, Oct 13, 2005 at 12:44:16AM -0700, Shakthi Kannan wrote:
> Yes, please do send it. I'd like to play with it too
> :)

To bother only those who care: You can download the package from

Just extract the archive into your l4/pkg directory or set the path to l4
in L4DIR before running make (e.g., "L4DIR=/my/path/to/l4 make"). It
builds for me with CVS sources from yesterday at least (did not check
today's version).

In the standard build, the target of usb-2.4/src/Makefile is the library
libinputusb.o.a. For testing link it to l4con, dope, or
input/examples/inputtst instead of the original libinput.a.

Good luck
Christian Helmuth

TU Dresden, Dept. of CS
Operating Systems Group

More information about the l4-hackers mailing list