ANNOUNCE: NICTA L4-embedded API

[Gernot Heiser]

National ICT Australia and the L4Ka Team are pleased to announce the
release of the L4-embedded API. It is based on the X.2 API and aims to
provide better support for embedded systems. Specifically, it aims to
reduce complexity and memory overhead on architectures with limited
resources, while keeping the API small, clean, and mostly compatible
to X.2.

Reference and user manuals for the new ABI are available from the
NICTA L4 site http://www.ertos.nicta.com.au/Research/L4/ and from
http://l4hq.org/.

A release of a first compliant kernel is planned for later this month.

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.au   http://ertos.nicta.com.au
Phone: +61 2 8306 0550              Fax:   +61 2 8306 0406