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-professur/termine/echtzeit-ag/same-page-merging-increasing-memory-density-in-l4re https://github.com/m00wl/l4re-spm And "CPPBind L4Re": https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/die-professur/termine/echtzeit-ag/a-compiler-based-idl-framework-for-l4re https://github.com/Time0o/CPPBind Unfortunately, searching for "USB L4Re" yields few specific, particularly informative, results. Paul _______________________________________________ l4-hackers mailing list -- [email protected] To unsubscribe send an email to [email protected]
