Select a tag to browse associated projects and drill deeper into the tag cloud.
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]
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]
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.
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)
A fork of KolibriOS carefully optimized for last-generation AMD processors and chipsets, with a special focus on resource-hungry embedded applications.
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 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.
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]
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.