Projects

Debian GNU/Linux

Debian is a free operating system (OS) for your computer. An operating system is the set of basic programs and utilities that make your computer run. Debian uses the Linux kernel (the core of an operating system), but most of the basic OS tools come from the GNU project; hence the name GNU/Linux.

Gentoo Linux

claimed by Gentoo Foundation

Gentoo is a free operating system based on either Linux or FreeBSD that can be automatically optimized and customized for just about any application or need. Extreme configurability, performance and a top-notch user and developer community are all hallmarks of the Gentoo experience.

FreeBSD

FreeBSD is an advanced operating system for x86 compatible (including Pentium and Athlon), amd64 compatible (including Opteron, Athlon64, and EM64T), UltraSPARC, IA-64, PC-98, (32-bit and 64-bit) MIPS and ARM architectures. It is derived from BSD, the version of UNIX developed at the University of ... [More] California, Berkeley. It is developed and maintained by a large team of individuals. Additional platforms are in various stages of development. [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]

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]