L4 courses

Slex Sangiuliano alex22_7 at hotmail.com
Tue Sep 20 19:31:35 CEST 2011

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20110920/69614f03/attachment.html>

More information about the l4-hackers mailing list