L4Re - More Detailed Building
-
Change to the
src/l4
directory:somedir$ cd src/l4 -
Create a new build directory for your build:
somedir/src/l4$ make B=path/to/builddir
-
If needed: configure the build tree, e.g. for setting the target
architecture. The default architecture is ia32:
somedir/src/l4$ make O=path/to/builddir config
-
Build. Add -jX as you like:
somedir/src/l4$ make O=path/to/builddir
To run a system you also need to build the L4Re Microkernel, please refer to the L4Re Microkernel build instructions, starting with point 2.