Building L⁴Linux-2.4

To use L⁴Linux-2.4 you need an L4 compatible µ-kernel, e.g. Fiasco or L4Ka::Pistachio. In the following description we refer to Fiasco only. For L⁴Linux on L4Ka::Pistachio please refer to L4Ka site.

These instructions assume that you have built and tested Fiasco as detailed in the the build Fiasco instructions.

Generally, you can build L⁴Linux in two modes, plain and l4env. Depending on your configuration you may need the L4 tree. To avoid problems, you should compile L⁴Linux with the same compiler as your L4 tree.

The main difference between the plain and the l4env mode is that the l4env version uses some of the L4Env components, whereas the plain mode just uses the core L4 services (Sigma0, RMGR). Of course, the plain version can use other L4 services too but it is no prerequisite. But the l4env version depends on other L4 components and therefor you must have the L4 tree available.

Refer to the download page on how to get L⁴Linux.

  make menuconfig

  make dep
  make

The l4env version needs an L4 tree to be compiled. When configuring L⁴Linux also remember to set the path to your L4 tree via the "Path to L4 directory" option. Refer to the DROPS download page to get the L4 tree.

The resulting binary file is called vmlinuz.l4env.