NICTA has demonstrated that Wombat, its architecture-independent paravirtualised Linux running on Iguana and L4-embedded can outperform native Linux. Wombat's context-switching overheads as measured by lmbench on an XScale processor are up to thirty times less than those of native Linux, thanks to Wombat profiting from the implementation of fast context switches in L4-embedded.
See the relevant NICTA news item for details.
NICTA has released more information on its secure embedded L4 project - seL4. Updated technical information on the project, including a reference manual, is available here.
NICTA today announced a collaborative effort with QUALCOMM Incorporated to use NICTA versions of the L4 Microkernel and the Iguana operating system together with select versions of QUALCOMM's Mobile StationTM chipsets. [Full press release...]
The NICTA ERTOS team is pleased to announce the fist official release of its embedded OS framework, consisting of:
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. See also the NICTA press release.
The operating system's group at Technische Universität Dresden is pleased to announce the first draft of the L4.Sec Preliminary Microkernel Reference Manual.
The document is available at http://os.inf.tu-dresden.de/L4/L4.Sec/.
L4.Sec is a specification of a next generation microkernel interface targeted to co-host user-level servers implementing security-critical functionality next to untrusted and potentially malicious software.
NICTA 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 have been added to the Manuals section. A release of a first compliant kernel is planned for later this month.
A manual describing the use of the X.2 API has been added to the Manuals section.
National ICT Australia is pleased to announce the initial release of the interface compiler for L4.
Magpie joins the existing L4 interface compilers and . Its primary advantage over these compilers is its support for rapid, templated generation of new output modes.
Magpie currently supports the L4 V4 interface, with both generic and -optimised output. Additional output modes, such as component orientation and C++ support, are in development.
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:
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.
The TU Dresden OS team is happy to announce the release of version 0.2 of . Additionally, new versions of the DDE and libstdc++ are provided.
For more information, check out the page.
L4Linux based on Linux 2.6 has been released. This version of L4Linux is based on L4Env and available via anonymous CVS.
For more information about L4Linux go to l4linux.org.
The L4Ka team is happy to announce the release of L4Ka::Pistachio version 0.4. With L4Ka::Pistachio the L4Ka team aims at providing a robust, portable, high performance implementation of the L4 Version 4 API.
It has been a long time since our last release, but we hope that all the new functionality and bug fixes were worth the wait. Among other things, the version 0.4 release adds support for 3 new hardware architectures. All in all the L4Ka::Pistachio kernel now runs on the following architectures:
For more information see the full announcement.