Building device drivers with oskit10_support_l4env

[Christian Helmuth]

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

  http://os.inf.tu-dresden.de/~ch12/misc/usb-2.4-20051013.tar.gz

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
http://os.inf.tu-dresden.de/~ch12