L4Linux

From TUDOS-Wiki
Revision as of 20:49, 13 December 2010 by Adam (talk | contribs)
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: