Repository files navigation

This repository contains the source code of the L4Re microkernel (also known asthe Fiasco microkernel). User level applications are not included in thispackage.

The L4Re microkernel is used to construct flexible systems that supportrunning real-time, time-sharing and virtualization workloads concurrently onone system. The kernel scales from big and complex systems down to small andembedded applications. It supports the following architectures:

Architecture	32 bit	64 bit	Status
x86	x	x
ARM	x	x
MIPS	x	x
RISC-V	x	x

For a full list of the supported platforms and features see thefeaturelist.

We welcome contributions to the microkernel. Please see our contributors guideonhow to contribute.

We encourage responsible disclosure of vulnerabilities you may discover. Pleasedisclose them privately viasecurity@kernkonzept.com to us.

Fiasco.OC can be built using a recent version of gcc (>=7) or clang (>=9),GNU binutils, GNU make and Perl (>=5.6).

Change to the top-level directory of this project and create a build directoryby typing

$ make BUILDDIR=/path/to/build

Change to the newly created build directory. You can now modify the defaultconfiguration by typing

$ make menuconfig

Make the desired changes, save and exit the configuration. Now you can buildthe kernel by typing

$ make

You can also build in parallel by providing a suitable-j option. If thebuild completed successfully you can find the kernel binary asfiasco inthe build directory.

For further information please refer to ourdetailed buildinstructions.

The L4Re microkernel is licensed under the GPLv2.For other licensing options, please contactinfo@kernkonzept.com.