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