L4Linux: Difference between revisions
From TUDOS-Wiki
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| (One intermediate revision by one other user not shown) | |||
| Line 7: | Line 7: | ||
* [[L4Linux/options]] Generic runtime options available | * [[L4Linux/options]] Generic runtime options available | ||
* [[L4Linux/shmnet]] How to use the l4shmnet driver | * [[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
