L4Linux

From TUDOS-Wiki

Revision as of 01:03, 30 November 2011 by Jester (talk | contribs)

(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
L4Linux/ser_shm How to use the l4ser_shm driver
L⁴Linux Website
- Build instructions

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

Navigation menu