L4Linux: Difference between revisions
From TUDOS-Wiki
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| (5 intermediate revisions by 3 users not shown) | |||
| 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/options]] | * [[L4Linux/build]] Quick build instruction | ||
* [[L4Linux/ | * [[L4Linux/options]] Generic runtime options available | ||
* [[L4Linux/shmnet]] How to use the l4shmnet driver | |||
* [[L4Linux/ser_shm]] How to use the l4ser_shm driver | |||
* [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] | ||
Latest revision as of 00:03, 30 November 2011
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/ser_shm How to use the l4ser_shm driver
- L4Linux Website
