Building and Using L4Linux

Jump to:

System Requirements

These instructions assume that you have built and tested Fiasco as detailed in the the build Fiasco instructions. Getting L4Linux to run with L4/x86 is a very similar process, and I'm sure you can figure it out yourself if you have a copy of L4/x86. To compile L4Linux, you need:

To run L4Linux, you need:

Installation

Please make sure you have all the software packages you need. For details, check out the download page.

The steps nessecary to build a L4Linux kernel are as follows:

  1. Install and test Fiasco as explained in the Fiasco instructions.

  2. Get L4Linux, refer to the download page.

  3. Configure and compile the L4Linux as you would configure and compile a monolithic Linux kernel.
    cd linux
    make xconfig
    make depend
    make

    This should create a binary named `glinux'.

Booting L4Linux

Boot L4Linux in the same way you boot the Hello World server (as explained in the Fiasco instructions): Copy glinux to your boot floppy, change the menu.lst file to load glinux instead of hello, and boot from the floppy.

Tip: The device for the root filesystem must be specified on the glinux command line if the default doesn't work for you. Try something like this:

module=(fd0)/glinux root=/dev/sda5

Reporting a bug in L4Linux

To report a bug in L4Linux, please use our bug tracking system. This can be done in two ways: Either email your report to <fiasco-bugs@os.inf.tu-dresden.de>, or enter it online in the bug tracking system's web interface.


Last modified: Mon Dec 8 21:33:25 2003