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@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@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers