Select a tag to browse associated projects and drill deeper into the tag cloud.
Genode OS Framework
Analyzed 3 months ago
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)
Licenses:
gpl
Pistachio
P
Analyzed over 2 years ago
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
Licenses:
BSD-3-Clause
seL4
Analyzed 25 days ago
The seL4 microkernel
The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement.
Licenses:
GNU_Gener...
Fiasco
F
Analyzed over 2 years ago
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
F9 Microkernel
F
Analyzed 22 days ago
F9 is an experimental microkernel used to construct flexible embedded systems inspired by famous L4 microkernel. The motivation of F9 microkernel is to deploy modern kernel techniques to support running real-time and time-sharing applications (for example, wireless communications) for ARM Cortex-M
Licenses:
bsd_ish
l4arm
L
No analysis available
Currently L4Ka Pistachio supports only couple of ARM boards, this project aims at porting it to ARM Integrator and ARM Emulation Base boards.
All this is to learn some of the porting basics and about L4 Microkernel family.
Mostly written in language not available
Licenses:
bsd
linux-on-minix
L
No analysis available
This is an attempt to port Linux on minix3, the way Linux has been ported on L4. This will allow Minix3 to work as hyperwiser and run existing linux applications on top of this ported linux.
Mostly written in language not available
Licenses:
gpl