Operating Systems Group Dept. of CS TU-Dresden
- Running Linux on top of L4
Latest release: 2.6.31

Building L4Linux-2.6 and requisites

System Requirements

L4Linux-2.6 is an L4Env application and therefore needs L4Env as its environment. Make sure you have your L4Env environment ready before proceeding with building L4Linux. You can use the l4linux-2.6-env module to get the requisites for L4Linux. Quick guide to get it working:

General remark: Keep both L4Linux and the other L4 components in sync and up to date to avoid problems. Also make sure to use the same compiler version to compile both the L4 tree and L4Linux.

When configuring Fiasco, make sure to enable the experimental option 'Handle and preserve segments', it's required to run L4Linux-2.6. For Fiasco-UX additionally enable the graphical console. L4Linux will complain at runtime if needed features of the kernel are missing.

Compiling

Go to the l4linux-2.6 directory and configure your kernel with:

    make menuconfig
  

or make xconfig for a graphical configuration.

To configure L4Linux specific options, go to the "L4Linux configuration" submenu. Set the directory to your L4 tree. If you want to compile L4Linux for Fiasco-UX, enable the "userland" option. Using the rtc is optional for the native mode.

For a native configuration it is generally safe to use nearly anything like drivers but do not enable features like ACPI, SMP, preemption, apic/ioapic, HPET, highmem, MTRR, MCE, power management and similar.
For a UX configuration, do not enable any feature that might touch the hardware directly, like drivers, PCI, VGA, input drivers etc.

Make sure to enable Support for frame buffer devices and and Framebuffer Console support for the console to work.

Build L4Linux with

    make

If the build was successful, it produces a file vmlinuz directly in the l4linux-2.6 directory.

Last modified: Mon, May 25 2009, 15:32