590s L4 Project
From PublicWiki
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.