Projects

MINIX 3

MINIX 3 is a new open-source operating system designed to be highly reliable, flexible, and secure. It is loosely based somewhat on previous versions of MINIX, but is fundamentally different in many key ways. MINIX 1 and 2 were intended as teaching tools; MINIX 3 adds the new goal of being usable as ... [More] a serious system on resource-limited and embedded computers and for applications requiring high reliability. This new OS is extremely small, with the part that runs in kernel mode under 4000 lines of executable code. The parts that run in user mode are divided into small modules, well insulated from one another. For example, each device driver runs as a separate user-mode process so a bug in a driver (by far the biggest source of bugs in any operating system), cannot bring down the entire OS. [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]

MidnightBSD

MidnightBSD is a desktop operating system for ia32 and amd64/emt64 computers. It uses GNUstep and related software to provide an easy to use environment.

Genode OS Framework

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)

Kolibri-A

A fork of KolibriOS carefully optimized for last-generation AMD processors and chipsets, with a special focus on resource-hungry embedded applications.

Think

Think (THink Is Not a Kernel) is a C-implementation of the Fractal component model, licenced under GPL and LGPL. The current version being developped is called Nuptse. It comes with its own languages for describing architecture and functionnal code (mainly regular C).

ChibiOS/RT embedded RTOS

ChibiOS/RT is a compact and fast RTOS designed for embedded applications. It offers threads, mutexes, semaphores, messages, events, timers, flexible I/O with timeout capability. ARM7, Cortex-M3, AVR, MSP430 and x86 are currently supported.

Funk

pmbsd

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]

FreeOSEK

FreeOSEK (originally called OpenSEK) is a scalable solution for embedded system. FreeOSEK OS is based on OSEK-VDX RTOS specification and is best suitable for small and fast real time operating systems.