On Wed, Oct 29, 2008 at 9:00 PM, Mani A <[EMAIL PROTECTED]> wrote: > 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 > Just for info, L4 is very extensively used in my company's products (embedded devices), so much so that it has replaced our own in-house OS completely for our devices. (What exactly are our devices? Hint: They are part of some of the most coveted thingies these days and we even discussed one of them a few days ago here on this list ;) ) ---------------------- I didn't do it, nobody saw me do it, U can't prove anything - Bart Simpson http://blog.shantanugoel.com http://tech.shantanugoel.com
_______________________________________________ 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]/
