This repository contains the source code of the L4Re microkernel (also known as the Fiasco microkernel). User level applications are not included in this package.
The L4Re microkernel is used to construct flexible systems that support running real-time, time-sharing and virtualization workloads concurrently on one system. The kernel scales from big and complex systems down to small and embedded 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 the feature list.
We welcome contributions to the microkernel. Please see our contributors guide on how to contribute.
We encourage responsible disclosure of vulnerabilities you may discover. Please disclose them privately via [email protected] 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 directory by typing
$ make BUILDDIR=/path/to/build
Change to the newly created build directory. You can now modify the default configuration by typing
$ make menuconfig
Make the desired changes, save and exit the configuration. Now you can build the kernel by typing
$ make
You can also build in parallel by providing a suitable -j option. If the
build completed successfully you can find the kernel binary as fiasco in
the build directory.
For further information please refer to our detailed build instructions.
The L4Re microkernel is licensed under the GPLv2. For other licensing options, please contact [email protected].
