Hi,
I'm just reading Dirk Vogt's thesis about 'USB for the L4 Environment' and I'd like to check out the corresponding code.
I'm afraid it's not included in your svn-tree - is there any chance to obtain it?
$> cd l4/pkg $> svn up usb
should do the trick.
Cheers, Bjoern