L4Linux

From TUDOS-Wiki
Revision as of 10:51, 5 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: