L4Linux: Difference between revisions
From TUDOS-Wiki
Jump to navigationJump to search
New page: L4Linux is a port of the Linux kernel to L4, running as a normal user program besides other applications. The following pages are available: * L4Linux/configurations * [[L4Linux/optio... |
No edit summary |
||
| Line 5: | Line 5: | ||
* [[L4Linux/options]] | * [[L4Linux/options]] | ||
* [http://os.inf.tu-dresden.de/L4/LinuxOnL4/ L<sup>4</sup>Linux] Website | * [http://os.inf.tu-dresden.de/L4/LinuxOnL4/ L<sup>4</sup>Linux] Website | ||
** [http://os.inf.tu-dresden.de/L4/LinuxOnL4/build-2.6.shtml Build instructions] | |||
Revision as of 10:51, 5 November 2007
L4Linux is a port of the Linux kernel to L4, running as a normal user program besides other applications.
The following pages are available:
