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