Difference between revisions of "590s L4 Project"

From PublicWiki
Jump to: navigation, search
(Try it)
Line 11: Line 11:
 
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.  
 
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==
 
==Try it==
 +
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.
  
 
== Hazards ==
 
== Hazards ==

Revision as of 17:57, 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.

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

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.

Hazards