L4Re - More Detailed Building

  1. Change to the src/l4 directory:
    somedir$ cd src/l4
  2. Create a new build directory for your build:
    somedir/src/l4$ make B=path/to/builddir
  3. 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
  4. Build. Add -jX as you like:
    somedir/src/l4$ make O=path/to/builddir

To run a system you also need to build a Fiasco.OC µ-kernel, please refer to the Fiasco.OC build instructions, starting with point 2.