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 the L4Re Microkernel, please refer to the L4Re Microkernel build instructions, starting with point 2.