Projects / Fiasco microkernel

Fiasco microkernel

Fiasco is a microkernel with real-time capabilities running on the x86 and ARM platforms. It is compatible with the L4 microkernel, which has set standards in microkernel performance and functionality. Fiasco is a fully-featured and secure L4 implementation with excellent real-time properties. It can run L4Linux, a port of the Linux kernel to the L4 interface which executes completely in user mode. The screenshot shows the DOpE real-time windowing environment running on top of Fiasco, with an instance of L4Linux running in one of the windows.

Tags
Licenses
Operating Systems
Implementation

Recent releases

  •  27 Sep 2005 14:24

    Release Notes: Since the last release, Fiasco has significantly matured and is now thought to be the most stable version available. Highlights of this release are the integration of scheduling extensions targeted at real-time applications, better support for paravirtualized 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.

    •  12 Nov 2003 12:09

      Release Notes: Many bugs were fixed and new features were added. The ARM processor family is now supported and the kernel debugger (JDB) is supported for Fiasco-UX, the Linux user-mode emulation of Fiasco/L4.

      •  02 Apr 2003 22:03

        Release Notes: Fiasco has matured over the years and is now stable enough to be released with a non-zero version number. New features include a port to the Linux system-call interface, allowing the development of L4 applications under Linux, support for the experimental L4 X.0 ABI, FPU register saving, I/O flexpages, and tagged-TLB emulation (aka "small address spaces"). This release also includes massive performance and security improvements as well as loads of bugfixes.

        •  28 Apr 1999 18:46

          Release Notes: This release contains all patches posted to the L4-Hackers mailing list, including several important bug fixes and two new features (long-message IPC, and a stand-alone kernel debugger).

          •  13 Oct 1998 18:00

            No changes have been submitted for this release.

            Recent comments

            12 Apr 2003 07:50 Leimy2k

            Very Cool!
            L4 is the successor to the L3 uKernel which was written to prove that uKernel [microkernels] aren't all slow and laggy like Mach. It might be important to note the the GNU Hurd OS is going to be ported to the Pistachio L4 uKernel when it is completed. The major difference between Pistachio and Fiasco is the level of support for which L4 specification.


            If you like to futz around with esoteric Operating Systems Fiasco should be on your list. At least check out the demo floppy with the super-cool DoPE windowing system.

            Screenshot

            Project Spotlight

            OpenStack4j

            A Fluent OpenStack client API for Java.

            Screenshot

            Project Spotlight

            TurnKey TWiki Appliance

            A TWiki appliance that is easy to use and lightweight.