L4Linux

From TUDOS-Wiki
Revision as of 14:13, 29 December 2010 by BjoernD (talk | contribs) (Undo revision 233 by ClementLambert (talk))
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: