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:
- The GNU C Compiler, version 2.95.x, on Linux/ELF on x86. This is the
only compilation environment we've tested. Don't use any version of
gcc-3.x, they're not expected to work.
- GNU Make. If GNU Make is not called
`
make
' on your system, substitite its name in the
examples below.
To run L4Linux, you need:
- An environment suitable for running Fiasco. See the Fiasco
instructions for detailed information.
- A Linux installation on the machine you intend to run
L4Linux on.
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:
- Install and test Fiasco as explained in the Fiasco
instructions.
-
Get L4Linux, refer to the
download page.
- 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