L4Linux

From TUDOS-Wiki
Jump to navigationJump to search

L4Linux is a port of the Linux kernel to L4, running as a normal user program besides other applications.

The following pages are available: