[ANN] Fiasco 1.2 released

[Adam Lackorzynski]

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
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/