15 Jan
2025
15 Jan
'25
12:06 p.m.
I found this thesis defence post. https://tu-dresden.de/ing/informatik/sya/professur-fuer-betriebssysteme/die-... Does anyone know if or where the code is available? Is the thesis paper available? Thanks, Flavio _______________________________________________ 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