Nicolas Pouillon

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]

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]