L4Linux ist ein Port von Linux auf den L4 MicroKernel.
http://l4linux.org/
http://os.inf.tu-dresden.de/L4/LinuxOnL4/
http://l4ka.org/projects/l4linux/
L4Linux (zuletzt geändert am 2007-12-23 22:50:01 durch localhost)
