I found this thesis defence post.

https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/die-professur/termine/echtzeit-ag/entwicklung-einer-initialen-usb-unterstuetzung-fuer-das-l4re-betriebssystem-framework

Does anyone know if or where the code is available? Is the thesis paper available?

Thanks,

Flavio