[ Sorry, wrong URLs in original posting, this is what happens if people randomly revoke domain delegations from you... ]
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://www.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://www.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://www.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 included. 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
l4-hackers@os.inf.tu-dresden.de