L4Linux: Difference between revisions
From TUDOS-Wiki
Jump to navigationJump to search
No edit summary |
Undo revision 233 by ClementLambert (talk) |
||
| Line 9: | Line 9: | ||
* [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 14:13, 29 December 2010
L4Linux is a port of the Linux kernel to L4, running as a normal user program besides other applications.
The following pages are available:
- Download
- L4Linux/configurations
- L4Linux/build Quick build instruction
- L4Linux/options Generic runtime options available
- L4Linux/shmnet How to use the l4shmnet driver
- L4Linux Website
