Buildsystem

You already learned how to compile L4Re and the L4Re Microkernel for your local architecture in Building With Gnu Make. Now you might want to cross compile L4Re. There are a number of supported architectures.

L4Re by default gets build with gcc. You can also configure the build system to use Clang instead.

Learn how to keep L4Re up to date using ham.

If you are having problems using the buildsystem you can shoot the troubles you encountered until now.