ANNOUNCE: NICTA embedded OS framework released

The NICTA ERTOS team is pleased to announce the fist official release
of its embedded OS framework, consisting of:
* NICTA::Pistachio-embedded, the first kernel conforming to the
L4-embedded API. NICTA::Pistachio is based on L4Ka::Pistachio;
* Iguana, an L4-based OS personality developed specifically for
embedded systems;
* Kenge, a set of packages for building microkernel-based systems;
* Wombat, a de-privileged (para-virtualised) Linux server running
on top of L4/Iguana.
Presently the full package works on ARM and x86 platforms. MIPS64 is
fully supported except for Wombat (which is due for release shortly)
and an Alpha version is not far behind.
The system is very mature (in commercial deployment);
NICTA::Pistachio-embedded is the fastest and most mature L4 kernel on
ARM. See also the http://www.ertos.nicta.com.au/Research/news/.
Gernot
--
Gernot Heiser Program Leader
Professor of Operating Systems Embedded, Real-Time, and Operating Systems
University of New South Wales National ICT Australia (NICTA)
http://gernot.web.cse.unsw.edu.auhttp://ertos.nicta.com.au
Phone: +61 2 8306 0550 Fax: +61 2 8306 0406