Fiasco 1.1 microkernel released

[Udo A. Steinberg]

Hello L4 hackers,

The Fiasco Team is pleased to announce version 1.1 of the Fiasco L4
microkernel developed at the University of Technology, Dresden and
released under the GNU General Public License (GPL).

This Fiasco release is mostly a bugfix release. Among the new features added
in version 1.1 is support for the ARM processor architecture, the integration
of the powerful Fiasco kernel debugger (JDB) into the Fiasco-UX usermode
kernel and a completely revised "tagged TLB" emulation (also known as small
address spaces). For a more verbose list of changes since the last release
see the CHANGES file.

The Fiasco microkernel currently supports the stable version V.2 and the
experimental version X.0 of the L4 interface specification and runs on x86
(i486 and above) and ARM SA1110 CPUs. The included Fiasco-UX port runs on
any x86-based Linux system as a normal usermode application.

For further information please visit the Fiasco homepage at:

http://os.inf.tu-dresden.de/fiasco/



Happy hacking,

   The Fiasco Team
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20031111/207e3f28/attachment.sig>