L4Linux

From TUDOS-Wiki

Revision as of 14:13, 29 December 2010 by BjoernD (talk | contribs) (Undo revision 233 by ClementLambert (talk))

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

L4Linux is a port of the Linux kernel to L4, running as a normal user program besides other applications.

The following pages are available:

Download
L4Linux/configurations
L4Linux/build Quick build instruction
L4Linux/options Generic runtime options available
L4Linux/shmnet How to use the l4shmnet driver
L⁴Linux Website
- Build instructions

Retrieved from "https://wiki.tudos.org/ikiw/index.php?title=L4Linux&oldid=234"

Navigation menu