L4Linux/build

Quick build instructions. Note that L4Linux uses the normal Linux build system.

~$ cd l4linux
l4linux$ mkdir /tmp/buildpath
l4linux$ make O=/tmp/buildpath x86-ux_defconfig

Set proper path to L4 build directory.

l4linux$ make O=/tmp/buildpath menuconfig

Build

l4linux$ make O=/tmp/buildpath

Building L4Linux for ARM:

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