590s L4 Project

From PublicWiki
Revision as of 05:12, 19 April 2006 by Vanessen (talk | contribs)

Jump to: navigation, search

This page is dedicated to the UW CSE System Seminar's Spring 2006 examination of the L4 operating system (http://os.inf.tu-dresden.de/L4/). L4 is a microkernel operating system developed by Jochen Liedtke.

Also be sure to check out the 590s Minix3 Project page.

Try it