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