USB for L4

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? Kind regards Sven