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.

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]

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]

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]

GXemul

GXemul is a framework for full-system computer architecture emulation. It emulates (networks of) machines, consisting of processors (ARM, MIPS, Motorola 88K, PowerPC, and SuperH) and various surrounding hardware components. It is complete enough to allow several unmodified "guest" ... [More] operating systems (e.g. NetBSD) to run inside the emulator as if they were running on real hardware. [Less]

SoCLib

SoCLib is a library of pluggable SystemC cycle-accurate and transaction-level components. The library contains many types of models: processor cores (MIPS32, PPC405, ARM-v6k, Nios2, MicroBlaze, lm32, etc.), memory types, devices (block device, UART, frame buffer, etc.) and network-on-chip models. ... [More] SoCLib can be used to create a complete system-on-chip hardware design, as well as for testing and evaluating embedded operating systems and applications. NetBSD, MutekH, and other dedicated systems are ported to the SoCLib hardware simulator. A Linux port is an ongoing project. [Less]

Slind

SLIND is Small LINux Distribution - a distribution for embedded systems, supporting varios platforms.

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]

MutekH

MutekH is a portable and free operating system for embedded platforms originally developed at the SoC department of the LIP6 Laboratory in Paris. MutekH is a set of libraries built on top of an exo-kernel designed to support heterogeneous multiprocessor platforms. MutekH is fully configurable to ... [More] match every application's needs. It is used in several research projects and currently supports x86, arm, mips, and powerpc processors. [Less]