L4Linux

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

• • keno