Difference between revisions of "L4Linux"

From TUDOS-Wiki
Jump to navigationJump to search
Line 6: Line 6:
 
* [[L4Linux/build]]
 
* [[L4Linux/build]]
 
* [[L4Linux/options]]
 
* [[L4Linux/options]]
 +
* [[L4Linux/shmnet]]
 
* [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 21:49, 13 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: