3 ms·
An example for a microkernel running a Linux OS is L4Linux (http://os.inf.tu-dresden.de/L4/LinuxOnL4/overview.shtml http://os.inf.tu-dresden.de/L4/LinuxOnL4/ove
by soren 17y ago
An example for a microkernel running a Linux OS is L4Linux (http://os.inf.tu-dresden.de/L4/LinuxOnL4/overview.shtml http://os.inf.tu-dresden.de/L4/LinuxOnL4/overview.shtml).
There is a lot of controversy about the distinction between VMMs and microkernels. A view from the microkernel side is given in http://www.ertos.nicta.com.au/publications/papers/Heiser_UL_06.pdf http://www.ertos.nicta.com.au/publications/papers/Heiser_UL_...