Manual Build of L4AndroidThis page describes how you can manually build all the pieces necessary to run L4Android on x86.
PrerequisiteTo build the Android userland you need to install the required build tools as described here. To build L4Android you need to build the L4Re environment and the Fiasco.OC microkernel first. See L4Re and Fiasco.OC for more details on how to get and build them. Be sure to check out the l4linux_requirements module. Currently we recommend using revision 38 from the public repositories.
Build Android UserlandThe Android userland can be build independently from the rest of the system. We assume you have downloaded the Android source code like described in the download section. For x86 do
From here you can continue building disk images with the Android userland.
$ cd /to/android-x86/source
$ make iso_img TARGET_PRODUCT=generic_x86 -jX
Build L4AndroidFirst get the L4Android sources as described on the download page.
- Create build directory
somedir$ mkdir l4android_obj
somedir$ cd /path/to/l4android/src
src$ make L4ARCH=x86 O=/path/to/l4android_obj x86-android_defconfig
- Configure L4Android
Set the correct L4 build tree directory (mandatory) and select additional features if you like. In the L4 section you have to select the stub driver for the block device driver for dataspaces and the framebuffer driver.
somedir$ cd /path/to/l4android_obj
l4android_obj$ make L4ARCH=x86 menuconfig
- Build Kernel
Choose X according to your number of CPU cores.
l4android_obj$ make L4ARCH=x86 -jX