Difference between revisions of "L4Linux"

From TUDOS-Wiki
Jump to navigationJump to search
 
(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/build]]
+
* [[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 01: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: