590s L4 Project
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.
L4Linux - Offers a demo cd to boot from with a number of differnent options:
Linux 2.6 - RAMDISK Console drops you into a <cmd> prompt for the BMODFS system and is pretty user-unfriendly. I am still looking for documentation on what to do here.