| |
-
linux
 L4Linux
L4Linux is a port of Linux to the L4 µ-kernel.
L4Linux runs as an L4 server in user-mode, side-by-side with other L4 applications (e.g. real-time components). It is currently running on x86 and ARM and it is binary compatible with the native Linux kernels.
preview:
http://www.l4hq.org/
2/2/2004
Tags: arm, intel architecture, kernel
 |
