L4Linux

From TUDOS-Wiki
Revision as of 13:26, 23 November 2007 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: