L4Linux: Difference between revisions
From TUDOS-Wiki
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
The following pages are available: | The following pages are available: | ||
* [http://os.inf.tu-dresden.de/L4/LinuxOnL4/download.shtml Download] | |||
* [[L4Linux/configurations]] | * [[L4Linux/configurations]] | ||
* [[L4Linux/build]] | |||
* [[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] | ** [http://os.inf.tu-dresden.de/L4/LinuxOnL4/build-2.6.shtml Build instructions] | ||
Revision as of 13:26, 23 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:
