L4
Get flash to fully experience Pearltrees
Codezero is an embedded hypervisor for the ARM architecture. Codezero supports ARMv7 chipsets, virtualizes Android and Linux-based operating systems. Codezero is licensed under the GPLv3 and is also available under commercial licensing. Here you can find tutorials, howtos, up-to-date technical information and all other resources for getting started with Codezero software development. You can also join our codezero-devel mailing list, where we publicly discuss technical issues about the Codezero Microkernel. Ubuntu (Linaro-11.12) on ARM is virtualized on a baremetal hypervisor for the first time.
CODEZERO
The Genode release 9.11 introduces a paravirtualized Linux Kernel. The screenshot displays two Linux instances running on top of Genode - one Tinycore and one Busybox. The Genode release 9.02 introduced support for native Qt4 applications.
Genode Operating System Framework
OK:Linux
Mobile OEMs and ecosystem betting on Linux Linux has emerged as an application OS of choice for a range of embedded applications, including mobile devices. The open-source OS responds to device OEM and ecosystem demands for the networking, file systems, and high-level application capabilities of blades and workstations for portability across architectures and scalability into a range of footprints and form factors.
Microkernels are minimal but highly flexible kernels. Both conventional and non-classical operating systems can be built on top or adapted to run on top of them. Microkernel-based architectures should particularly support extensibility and customizability, robustness including reliability and fault tolerance, protection and security. After disastrous results in the early 90's, the microkernel approach now seems to be promising, although it still bears a lot of research risks. The L4Ka research project aims at substantiating and establishing a new methodology for system construction that helps to manage ever-increasing OS complexity and minimizes legacy dependence. Our vision is a microkernel technology that can be and is used advantageously for constructing any general or customized operating system including pervasive systems, deep-computing systems, and huge servers.