The operating system's group at Technische Universität Dresden is pleased to announce the release of version 1.2 of the Fiasco L4 microkernel.
Since the last release Fiasco has significantly matured and is now thought to be the most stable version available. For a comprehensive list of changes please consult the CHANGES file in the distribution. Highlights are the integration of scheduling extensions targeted at real-time applications, better support for paravirtualised systems as well as numerous bug-fixes.
The Fiasco kernel currently runs on the x86 and Linux/x86 platforms (UX) as well as various ARM platforms. All platform implementations are believed to be equally stable.
More information is available at the Fiasco website at
http://os.inf.tu-dresden.de/fiasco/
Adam