From TUDOS-WikiJump to navigationJump 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:
- L4Linux/build Quick build instruction
- L4Linux/options Generic runtime options available
- L4Linux/shmnet How to use the l4shmnet driver
- L4Linux Website