Index of /fiasco/prev/download

Icon  Name                         Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] 1.0/ 2003-11-11 20:51 - [TXT] CHANGES 2005-09-26 14:01 3.8K [TXT] README 2005-09-26 14:01 2.8K [   ] fiasco-1.1-oskit.tar.bz2 2003-11-11 20:48 1.6M tar archive [   ] fiasco-1.1-oskit.tar.bz2.md5 2003-11-11 20:48 59 tar archive [   ] fiasco-1.1-oskit.tar.gz 2003-11-11 20:48 2.1M GZIP compressed docume> [   ] fiasco-1.1-oskit.tar.gz.md5 2003-11-11 20:48 58 GZIP compressed docume> [   ] fiasco-1.1.tar.bz2 2003-11-11 20:48 1.4M tar archive [   ] fiasco-1.1.tar.bz2.md5 2003-11-11 20:48 53 tar archive [   ] fiasco-1.1.tar.gz 2003-11-11 20:48 1.7M GZIP compressed docume> [   ] fiasco-1.1.tar.gz.md5 2003-11-11 20:48 52 GZIP compressed docume> [   ] fiasco-1.2.tar.bz2 2005-09-26 13:47 1.6M tar archive [   ] fiasco-1.2.tar.bz2.md5 2005-09-26 13:48 53 tar archive [   ] fiasco-1.2.tar.gz 2005-09-26 13:47 1.9M GZIP compressed docume> [   ] fiasco-1.2.tar.gz.md5 2005-09-26 13:48 52 GZIP compressed docume> [DIR] patches/ 2003-12-14 13:15 -

Welcome to Fiasco 1.2!

Fiasco is a microkernel intended to be compatible with the L4 microkernel
for x86. It implements the L4 ABI as defined in the L4/x86 Reference Manual,
which can be found at:

The Fiasco kernel can be used to construct flexible systems. We at TU Dresden
use it as a base for our DROPS system which supports running real-time
and time-sharing applications concurrently on one system. However, Fiasco
is not only suitable for big and complex systems, but also for small,
embedded applications.

This distribution contains the Fiasco 1.2 microkernel and tools to build
it. User level applications are not included in this package.


Fiasco is freely redistributable under the GPL (see l4/kernel/fiasco/COPYING).
For different licensing schemes please contact us at:
This is a closed list, proper mails will be let through by the moderator.

For more details, see our webpage at:

Supported architectures and ABIs

  * IA32 (Intel, AMD and compatible CPUs, i486 and above)
  * ARM  (SA1110 and PXA)
  * UX   (Linux usermode emulation of Fiasco/L4)

  The following L4 ABIs are supported by the IA32 and UX variants:

  * L4/v2 (stable version 2)
  * L4/x0 (experimental version 0)

  The ARM variant of Fiasco supports the L4/x0 L4 ABI.

A list of changes since the last release can be found in the CHANGES file.

Building the Fiasco kernel

To compile Fiasco you need gcc 3.3, 3.4 or 4.0, a recent version of GNU
binutils, GNU make and Perl version 5.6 or later. For the configuration tool
you also need Python version 2.

Change to the directory fiasco-1.2/l4/kernel/fiasco/ and
create a build directory with "make BUILDDIR=build" and change to the
'build' directory. Optionally modify the default configuration using
"make menuconfig". Then compile the kernel by typing "make".

The kernel image can then be found in fiasco-1.2/l4/kernel/fiasco/build/ as

For further information refer to:

Mailing List

For problem reports and suggestions regarding the Fiasco microkernel,
please subscribe and send mail to the l4-hackers mailing list:

Remote CVS

The latest development versions are available from our Remote-CVS server.
The truly bleeding edge will want to check out daily snapshots from there.
However, be aware that these may not always run correctly.
You can also get user land programs for L4 from this Remote-CVS.

For information how to use Remote-CVS see:


The Fiasco Team