590s L4 Project

From PublicWiki
Revision as of 17:55, 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.

There are several different projects in the L4 family, the two most prominant ones are L4:Pistachio and L4:Fiasco.

L4:Pistachio - I believe that this work is mainly aimed at porting L4 to a variety of architectures beyond the x86.

L4:Fiasco - Mainly focused on the x86 family

It is my impression that neither of these projects offer much in the way of user-land services in their distributions. To find a more workable system I have looked at L4Linux, which primarily runs on the L4:Fiasco micro-kernel.

Try it

Hazards