L4Linux/build

Quick build instructions.

cd l4linux-2.6
mkdir /tmp/buildpath
make O=/tmp/buildpath x86-native_defconfig

Set proper path to L4 build directory.

make O=/tmp/buildpath menuconfig

Build

make O=/tmp/buildpath

Building L4Linux for ARM:

cd l4linux-2.6
mkdir /tmp/buildpath
make O=/tmp/buildpath L4ARCH=arm CROSS_COMPILE=arm-linux- arm_defconfig
make O=/tmp/buildpath L4ARCH=arm CROSS_COMPILE=arm-linux- menuconfig
make O=/tmp/buildpath L4ARCH=arm CROSS_COMPILE=arm-linux-