Quickstart

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

• Get the sources
  • hello is a simple set of programs, l4linux-2.6-env is everything needed for L4Linux.

$ cd /path/to/src
$ svn checkout -N http://svn.tudos.org/repos/tudos/trunk tudos
$ cd tudos
$ ./repomgr co hello
$ ./repomgr co l4linux-2.6-env

• L4Env: Create a build directory, configure and build

$ mkdir /path/to/obj/tudos
$ cd /path/to/src/tudos/l4
$ make O=/path/to/obj/tudos oldconfig
$ make O=/path/to/obj/tudos

• Fiasco: Create build directory, configure and build

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

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

$ cd /path/to/src
$ svn co http://svn.tudos.org/repos/l4linux/trunk l4linux-2.6
$ cd l4linux-2.6
$ make O=/path/to/obj/l4linux x86-ux_defconfig
$ make O=/path/to/obj/l4linux