L4 courses

Michael Roitzsch mroi at os.inf.tu-dresden.de
Tue Sep 20 22:30:35 CEST 2011


Hi,

> Microkernel-Based Operating Systems:
> http://www.inf.tu-dresden.de/index.php?node_id=1314&ln=en

The slides for this course are no longer on the website because the new semester starts soon and we sometimes change things, so we publish the slides as we go through the course. But you can find last year's slides for this course here:
http://os.inf.tu-dresden.de/Studium/KMB/WS2010/

Michael





More information about the l4-hackers mailing list