Projects

NetBSD

NetBSD is a free, secure, and highly portable Unix-like Open Source operating system available for many platforms, from 64-bit Opteron machines and desktop systems to handheld and embedded devices. Its clean design and advanced features make it excellent in both production and research ... [More] environments, and it is user-supported with complete source. Many applications are easily available through pkgsrc, the NetBSD Packages Collection. [Less]

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]

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]