Projects tagged ‘l4’ and ‘microkernel’

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 ... [More] , Australia. It is the first available kernel implementation of the L4 Version 4 kernel API (currently code-named Version X.2), which is fully 32 and 64 bit clean, provides multiprocessor support, and super-fast local IPC. [Less]

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 ... [More] Fiasco kernel can be used to construct flexible systems. We at TU Dresden use it as a base for our DROPS system which supports running real-time and time-sharing applications concurrently on one computer. However, Fiasco is not only suitable for big and complex systems, but also for small, embedded applications. [Less]

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 ... [More] a comprehensive set of APIs that give users and developers freedom of choice. All new code released by the i9 project is Open Source, and is released under the terms of the MIT License. Some older components are dual-licensed under the i9 License, and others are covered under different licenses. [Less]

Simple toy OS

L4OS intends to be a high-integrity, high performance, bare-metal operating system leveraging L4 rewritten in ADA/JSF C++. L4OS is currently in the planning stage. L4 is a lean 2nd generation ... [More] µ-kernel featuring fast message-based synchronous IPC, a simple-to-use external paging mechanism and a security mechanism based on secure domains. [Less]