Welcome to the Fiasco µ-kernel!
If you are new to this site, please start exploring it at
the overview page.
- 26 Sep 2005
- Fiasco 1.2 released!
This release fixes many bugs, a few features have been added as well.
For a list of changes please consult the
CHANGES file. Get the package from
the download directory or from CVS. Refer
to the README file for further information.
- 11 Feb 2004
- Fiasco documentation added
Documents describing the Fiasco build system and the coding style used
in the Fiasco microkernel are now available.
You can find them here.
- 11 Nov 2003
- Fiasco 1.1 released!
Since the last release many bugs were fixed as well as new features
added. Noteworthy parts include ARM support and JDB support for
Fiasco-UX. All other changes are listed in the
CHANGES file of the release. Get the
files from our download directory and refer to
the README file in the package for further information
regarding this release.
- 14 Apr 2003
demo disk available
The DROPS team has compiled a demonstration floppy disk with
various applications. It uses Fiasco, so you may be interested in the
disk as well. Get it here.
- 4 Apr 2003
- Fiasco patches
To fix bugs which have been discovered after a release has been made, we
supply patches which can be applied to
the current release tree.
- 2 Apr 2003
- Fiasco 1.0 released!
Fiasco has matured over the years and is now stable enough to be
released with a non-zero version number. Find more information in the
README file accompanying the
- 3 Feb 2003
- Udo finished the main work on the Fiasco-UX port, it's now on the same
level as the x86 version. So be sure to try it out!
(See this page how to get and use it.)
Additionally, Alex added the L4/X.0 interface to Fiasco.
- 6 Jun 2002
- Fiasco gets portable! Alexander Warg ported Fiasco to the IA64
architecture (Itanium). You can read about his port in his
His work is already available from our
public CVS server as a
branch, and Alexander will merge his work into the main version
of Fiasco within the next few weeks.
Also, Udo Steinberg has been porting Fiasco to run on top of
Unix in user mode (also available from a CVS branch). This
port will allow development of L4 applications under Unix, and
will also help with kernel debugging.
- 10 May 2002
- The last important feature arrives:
Hendrik Tews has implemented I/O flexpages!
Fiasco is now safe and feature-complete
enough to be used in production systems. We declare it to be
of beta quality.
- 23 Jul 2001
- The L4 webpages sport a new L4 Developer's
Bibliography. Have a look at it!
- 17 Jul 2001
- Added automatically-generated Fiasco
source-code documentation to the website.
- 10 Jun 2001
In Memoriam Jochen
Prof. Dr. Jochen Liedtke, chair of the System Architecture
Group at the University of Karlsruhe, passed away unexpectedly
on Sunday, June 10th. Jochen was the main visionary behind the
L4 microkernel interface. The L4 community loses an excellent
teacher, mentor, colleague, and friend.
- 1 May 2001
- Michael Hohmuth and Hermann Härtig have published a USENIX '01
nonblocking synchronization for real-time
systems.'' This paper describes Fiasco's synchronization
mechanisms in detail.
- 19 Mar 2001
- Fiasco's built-in kernel debugger Jdb now has its own
manual. Thanks to Jan Glauber who has extended the
debugger and the L4KD manual!
- 23 Jan 2001
- Hendrik Tews and colleagues have written an introduction to the
project, which aims at a formally verified and
high-level security-certified microkernel: VFiasco - Towards a Provably Correct Microkernel.
If you are a student at TU Dresden, you might be interested
in our asssignment
and project list for VFiasco.
- 15 Dec 2000
- Fiasco now uses the Preprocess
C++ preprocessor. The result is shorter, more maintainable,
more logically cohesive, easier-to-read, easier-to-change code.
- 11 Oct 2000
- New synchronization code and short-IPC shortcut have landed in
main trunk. This has resulted in a considerable speed-up,
especially for the most-common short IPC. Kudos to Michael
Peter for most of this work!
- 2 Aug 2000
- Frank Mehnert has implemented the RT-Linux API on top of L4 and
the real-time characteristics of Fiasco, L4/x86,
- 20 Mar 2000
- Hendrik Tews carried out a
study that applies coalgebraic
specification and verification techniques to Fiasco.
A part of the memory
management of Fiasco was specified in the Coalgebraic Class
CCSL. With the support of a modern theorem prover (namely PVS)
it was possible to
check the source code of Fiasco against this specification. It
turns out that, on the basis of
coalgebras and with the use of state of the art tools like PVS
and CCSL, it becomes feasible
to verify practically used operation-system software.
- 28 September 1999
- Released a new package called oskit10_support which
adapts the current OSKit
0.97 to Fiasco and L4. With this library, many OSKit
applications can run unchanged on top of Fiasco and L4. This
package is part of the l4 module - download it via remote CVS!
- 8 June 1999
- From now on, the latest version of Fiasco is always available
via read-only remote CVS!
- 5 Jan 1999
- Introduced a new bug tracking system.
Last modified: Wed Jan 17 2007, 11.14:13 CET