L4Re - Building
- Be on a recent Linux system.
- Get the sources as described on the download page.
-
Check the build requirements:
somewhere# apt install make dialog gawk g++ binutils pkg-config g++-multilib flex bison device-tree-compilerIf you're cross-compiling, e.g. for Arm, also ensure you have the right cross-compiler gcc toolchain installed.
-
Unpack the snapshot archive to a convenient place and change into it:
cd l4re-base-X.Y
-
Configure by calling
make setupand select ARM64 or ARM, and then the
rpi4
. Then leave the dialog. -
Build it by calling:
makePlease use
make -j8
or similar to speed up building.
For more information please continue at the documentation page, specifically the Getting Started section.
While L4Re and the microkernel are being built, you might want to look at some screenshots.
Some more details how building behind the scenes works.