Unsupported and obsolete software
This page describes ERTOS software that has become outdated as the associated project evolved. All the software here has current alternatives, so we don't recommend anyone use these versions for new projects, but we provide the page for historical interest.
Iguana provides a layer of functionality below the microkernel and above application programs in an embedded operating system. It provides basic services, such as protection, memory management and naming, that are required in almost every system. It has been superseded by a set of core system libraries in OKL4, but NICTA's standalone version may be downloaded from the Kenge project page.
NICTA's implementation of L4, NICTA::Pistachio-embedded, forms the basis for the commercially successful OKL4 microkernel, which began as a fork of the NICTA kernel in 2007. The most recent (2007) NICTA version is available as part of Kenge.
Kenge is our framework for building L4-based systems. It is structured as an extensible set of projects, consisting mostly of libraries and services (but also including some applications), supported by a build system. Iguana is a Kenge project.
Wombat is a complete para-virtualized Linux kernel running de-privileged (i.e., in user mode) on top of Iguana. It is based on the para-virtualisation of Linux, which means that we introduced L4 as a new architecture that Linux can run on. Contrary to most other para-virtualised Linux systems, Wombat is highly portable and presently runs on x86, ARM and MIPS. Performance benchmarks show Wombat performs very well compared to native Linux, and even out performs it in some benchmarks.