L4Linux: Difference between revisions

From TUDOS-Wiki
Jump to navigationJump to search
No edit summary
No edit summary
 
(3 intermediate revisions by 3 users not shown)
Line 4: Line 4:
* [http://os.inf.tu-dresden.de/L4/LinuxOnL4/download.shtml Download]
* [http://os.inf.tu-dresden.de/L4/LinuxOnL4/download.shtml Download]
* [[L4Linux/configurations]]
* [[L4Linux/configurations]]
* [[L4Linux/build]]
* [[L4Linux/build]]   Quick build instruction
* [[L4Linux/options]]
* [[L4Linux/options]] Generic runtime options available
* [[L4Linux/shmnet]]
* [[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: