Quickstart

Quick guide to get the system compiled, without much explanation.

• Get the sources

$ cd /somedir/tudos
$ svn cat http://svn.tudos.org/repos/oc/tudos/trunk/repomgr | perl - init http://svn.tudos.org/repos/oc/tudos fiasco l4re

If you intend to run L4Linux, you need to get some more. So use this:

$ cd /somedir/tudos
$ svn cat http://svn.tudos.org/repos/oc/tudos/trunk/repomgr | perl - init http://svn.tudos.org/repos/oc/tudos fiasco l4re l4linux_requirements

• L4Re: Create a build directory, configure and build

$ mkdir -p /path/to/obj/tudos
$ cd /somedir/tudos/src/l4
$ make O=/path/to/obj/tudos oldconfig
$ make O=/path/to/obj/tudos -j2

• Fiasco: Create build directory, configure and build

$ cd /somedir/tudos/src/kernel/fiasco
$ make BUILDDIR=/path/to/obj/fiasco
$ cd /path/to/obj/fiasco
$ make

• L⁴Linux
  • Get the source, configure and build

$ cd /somedir/tudos
$ svn co http://svn.tudos.org/repos/oc/l4linux/trunk l4linux
$ cd l4linux
$ make O=/path/to/obj/l4linux x86-ux_defconfig
# In the menu, in "L4Linux configuration", set "L4 tree build directory" to /path/to/obj/tudos
$ make O=/path/to/obj/l4linux menuconfig
$ make O=/path/to/obj/l4linux