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] code-named Version X.2), which is fully 32 and 64 bit clean, provides multiprocessor support, and super-fast local IPC. [Less]
Skipping audio, slower servers, everyone knows the symptoms of latency. But to know what's going on in the system, what's causing the latency, how to fix it... that's a hard question without good answers right now.
LatencyTOP is a Linux* tool for software developers (both kernel and userspace)
... [More], aimed at identifying where in the system latency is happening, and what kind of operation/action is causing the latency to happen so that the code can be changed to avoid the worst latency hiccups. [Less]
Muen is a Separation Kernel implemented in the SPARK programming language. It runs on the Intel x86/64 architecture employing hardware-assisted virtualization (VT-x and VT-d) as the fundamental separation mechanism. The goal of the Muen project is the development of a trustworthy open-source
... [More] foundation for component-based high-assurance systems. [Less]
The Pigeon Mouette BSD project provides a FREE, multi-platform BSD UNIX-like operating system.
PmBSD is 'what we think a BSD is' and was totally written from scratch. The only sources stolen by this project were stolen from OpenBSD and are a part of this website and the file sys/queue.h.
... [More]
PmBSD is freely available from our mercurial repository. [Less]
Free training materials covering the below topics:
- Embedded Linux system development
- Embedded Linux kernel and driver development
- Android system development
- Embedded Linux boot time reduction
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy