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