Difference between revisions of "590s L4 Project"
From PublicWiki
Line 1: | Line 1: | ||
− | 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 | + | 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. | Also be sure to check out the [[590s Minix3 Project]] page. |
Revision as of 05:12, 19 April 2006
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.