L4 courses

Marc Mauri Alloza marcmaurialloza at gmail.com
Tue Sep 20 19:43:52 CEST 2011


Maybe this subjects in the Faculty of Computer Science in the
Technische Universität Dresden interest you:

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

Complex lab (They build an operating system on top of Fiasco):
http://www.inf.tu-dresden.de/index.php?node_id=1315&ln=en

Microkernel Construction:
http://www.inf.tu-dresden.de/index.php?node_id=1317



2011/9/20 Slex Sangiuliano <alex22_7 at hotmail.com>:
> Morning, i'm searching some university courses that use L4.
> Searching on the net i found a document that talks of a university with a
> O.S. course with the target to build a small operating system based on l4 at
> the end of the course. Unfortunatly i haven't found slides and the
> university.
>
> Do you know some univeristy that uses l4 for the O.S. course?
> Thanks and sorry for the stupid request.
> Slex
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
>




More information about the l4-hackers mailing list