Hi,
--- On Sat, Jan 3, 2009 at 6:20 PM, Björn Döbel doebel@os.inf.tu-dresden.de wrote: | Go to | l4/pkg/ore/server and run "make config" - there you can select which | drivers to include. This should get you up and running. --
Had to use:
make O=/path/to/build config
re-built under l4, and it worked. Thanks!
SK