On Wednesday, 15 January 2025 12:06:03 CET Flavio Erlich wrote:

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?

That is a nice find. I cannot answer your question, sadly, but issuing a search for L4Re topics on the same site provides a list of related events:

https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/ @@search?search-limited=searchbox_limited&b_start:int=24&SearchableText=L4Re

So, may I also ask whether the materials associated with such events are systematically published somewhere?

I did have some success in searching for other materials via the usual search engines. For example, "SPMM L4Re":

https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/die-...

https://github.com/m00wl/l4re-spm

And "CPPBind L4Re":

https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/die-...

https://github.com/Time0o/CPPBind

Unfortunately, searching for "USB L4Re" yields few specific, particularly informative, results.

Paul

_______________________________________________ l4-hackers mailing list -- l4-hackers@os.inf.tu-dresden.de To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de