Select a tag to browse associated projects and drill deeper into the tag cloud.
The Genode operating-system framework extends existing kernels (e.g., microkernel or hypervisor) and provides a uniform API for applications. Kernel support: L4ka::Pistachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco, and Linux (x86-32, x86-64)
L4Ka::Pistachio is the latest L4 microkernel developed by the System Architecture Group at the University of Karlsruhe in collaboration with the DiSy group at the University of New South Wales, Australia. It is the first available kernel implementation of the L4 Version 4 kernel API (currently ... [More]
Fiasco is a new µ-kernel (microkernel) running on x86 PCs intended to be compatible with the L4 µ-kernel for x86. It implements the L4 ABI as defined in the L4/x86 Reference Manual. The Fiasco kernel can be used to construct flexible systems. We at TU Dresden use it as a base for our DROPS ... [More]
This project aims to build a reasonably secure operating system, based on the L4 microkernel, with binary compatibility to other OSes, a range of Personalities (environments that behave like other OSes) and a number of additional features. Please note: The software in this project is covered under ... [More]
The i9 project aims to build a reasonably secure, microkernel-based operating system, with binary compatibility to other OSes, a range of Personalities (environments that behave like other OSes). and a comprehensive set of APIs that give users and developers freedom of choice. All new code ... [More]