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