590s L4 Project

From PublicWiki

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

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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

Hazards

Retrieved from "http://abstract.cs.washington.edu/wiki/index.php?title=590s_L4_Project&oldid=4984"