L4Linux is a port of the Linux kernel to the L4 µ-kernel API. It is a (para-)virtualized Linux running on top of a hypervisor, completely without privileges if wanted.
L4Linux runs in user-mode on top of the µ-kernel, side-by-side with other µ-kernel applications such as real-time components. It is binary-compatible with the normal Linux/x86 kernel and can be used with any PC-based Linux distribution. The DROPS operating system project supports running time-sharing and real-time applications applications concurrently on one computer. The L4Linux server has been originally created to support time-sharing applications. The port provides us with a basis platform for future development work. Compared to monolithic Linux, there is a small performance tradeoff because of the µ-kernel architecture. However, the initial L4Linux has been somewhat optimized, and on L4/x86 it has a very acceptable slowdown of less than 4 % for any relevant load. See http://os.inf.tu-dresden.de/L4/LinuxOnL4/doc.shtml http://os.inf.tu-dresden.de/L4 Best A. Mani -- A. Mani Member, Cal. Math. Soc _______________________________________________ ilugd mailinglist -- [email protected] http://frodo.hserus.net/mailman/listinfo/ilugd Archives at: http://news.gmane.org/gmane.user-groups.linux.delhi http://www.mail-archive.com/[email protected]/
