L4Linux/build
From TUDOS-Wiki
Quick build instructions.
~$ cd l4linux-2.6 l4linux-2.6$ mkdir /tmp/buildpath l4linux-2.6$ make O=/tmp/buildpath x86-native_defconfig
Set proper path to L4 build directory.
l4linux-2.6$ make O=/tmp/buildpath menuconfig
Build
l4linux-2.6$ make O=/tmp/buildpath
Building L4Linux for ARM:
$ cd l4linux-2.6 l4linux-2.6$ mkdir /tmp/buildpath l4linux-2.6$ make O=/tmp/buildpath L4ARCH=arm CROSS_COMPILE=arm-linux- arm_defconfig l4linux-2.6$ make O=/tmp/buildpath L4ARCH=arm CROSS_COMPILE=arm-linux- menuconfig l4linux-2.6$ make O=/tmp/buildpath L4ARCH=arm CROSS_COMPILE=arm-linux-