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:

Complex lab (They build an operating system on top of Fiasco):

Microkernel Construction:

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