Beta release of Kenge, Iguana, Wombat

Gernot Heiser gernot at nicta.com.au
Mon Nov 29 11:00:00 CET 2004


National ICT Australia is pleased to announce the release of version
0.4 of the first stage of its Embedded Systems Framework for beta
testing.

The software is fairly stable and in use in several commercial
settings. However, no performance tuning has been done to date. This
will be done for the 1.0 release, which is planned for February 2005.

The present release consists of the following components:

 - Kenge, a support environment for L4-based systems

   LICENSE: OZPLA (BSD-like)
   URL:	    http://disy.cse.unsw.edu.au/Software/Kenge

 - Iguana, a lightweight L4-based OS personality for embedded systems,
   providing basic services, resource and protection management

   LICENSE: OZPLA (BSD-like)
   URL:	    http://disy.cse.unsw.edu.au/Software/Iguana

 - Wombat, an architecture-independent Linux server for L4/Iguana, aimed
   at embedded systems use

   LICENSE: GPL
   URL:	    http://disy.cse.unsw.edu.au/Software/Wombat

The software presently runs on x86 and ARM platforms, a beta-version for
MIPS will follow shortly and further ports are underway.  An
experimental version of L4Ka::Pistachio is required to run the software,
this is available from http://ertos.nicta.com.au/Software/L4. Driver
support is limited at present, but more will be available soon.


ARCHITECTURE-SPECIFIC NOTES:

 - x86:
    - runs on PC hardware and Qemu simulator
    - Wombat runs the Linux Test Project with the exception of
      system calls using the presently unimplemented valloc functionality.

 - ARM:
    - runs on a number of ARM7 and ARM9 platforms as well as the Skyeye
      simulator
--
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.au   http://nicta.com.au/ertos.html
Phone: +61 2 9385 5156              Fax:   +61 2 9385 7942              




More information about the l4-hackers mailing list