Projects

HelenOS

HelenOS is a microkernel-based multiserver operating system designed from scratch. It decomposes key operating system functionality into many isolated, intensively communicating server processes that reside entirely in user space. HelenOS thus provides a computing environment that has several ... [More] virtues, such as flexibility, increased robustness, well defined explicit interfaces and reduced complexity of individual components as compared to other operating systems. HelenOS runs on seven different processor architectures, ranging from a 32-bit uniprocessor little-endian ARMv4 to a 64-bit multicore big-endian UltraSPARC T1. [Less]

PM2

PM2 is a low level generic runtime system which integrates multithreading management (Marcel) and a high performance multi-cluster communication library (Madeleine).

AuroraUX

AuroraUX is an operating system distribution based on the OpenSolaris kernel source base. The goal of the AuroraUX project is to create a high reliability core operating system using the US Department of Defense-developed Ada programming language. While it is meant to be minimalistic and used as a ... [More] base for other distributions, it will also be functional as an operating system in itself. #auroraux @ irc.freenode.net [Less]

Pistachio

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]

OpenBricks

OpenBricks is an enterprise-grade embedded Linux framework that provides easy creation of custom distributions for industrial embedded devices. It features a complete embedded development kit for rapid deployment on x86, ARM, PowerPC and MIPS systems with support for industry leaders. Pick your ... [More] device, select your software bricks and cook your product ! OpenBricks reduces development efforts by abstracting the low-level interface to your device. It supports all Khronos industry standards (OpenGL|ES, OpenVG, OpenMAX …) and major applicative frameworks (Qt, GTK, EFL, SDL) for you to only focus on your end-user application. OpenBricks is an OpenSource framework. It’s the masterpiece framework behind your next design product. OpenBricks currently sustains the GeeXboX project. [Less]