L4Linux

From TUDOS-Wiki
Revision as of 10:50, 5 November 2007 by Adam (talk | contribs) (New page: 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/configurations * [[L4Linux/optio...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump 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: