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, 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: