Download L4Android

The L4Android source code is available via git. Check gitweb to see a full list of available repositories and their latest changes.

Get Source

You can checkout the latest version 3.16 with

git clone http://git.l4android.org/kernel

To use L4Android you actually need the L4 runtime environment L4Re and the Fiasco.OC microkernel.

Get Android

For x86 you can download the sources from the Android-x86 project. Get the sources for x86 with

$ mkdir directory
$ cd directory
$ repo init -u git://git.android-x86.org/manifest.git -b BRANCH
$ repo sync

where BRANCH is e.g kitkat-x86. For ARM you can download the Android source code directly from the Android repositories where BRANCH is e.g. gingerbread.

$ mkdir directory
$ cd directory
$ repo init -u https://android.googlesource.com/platform/manifest.git -b BRANCH
$ repo sync

Prebuilt Images

Building the Android user land from scratch is a lengthy task. Thus we provide you with some disk images which you can use in your own setups.
Android root file system
  1. Froyo x86 (2.2) (md5sum: f5276f78b625d56ca85bcf73876e9c0b)
  2. Gingerbread x86 (2.3.7) (md5sum: 442b52dc542b4e2debe2e81b9f7d1615)
  3. Gingerbread ARM (2.3.7) (md5sum: 33a55b877a42792df19768fcefb35dbb)
  4. KitKat x86 (4.4.4)
    (sha256: 22f5becd802aecc00ed80bf4fcf291202519f22c8e217584cf94e7f88282a328)
Android system images
  1. Froyo x86 (2.2) (md5sum: 26f9b49efcc96ad663014a2ef6be89c3)
  2. Gingerbread x86 (2.3.7) (md5sum: 9a9ea85af55f200dfc8018ada43463d7)
  3. Gingerbread ARM (2.3.7) (md5sum: 89f5f5032277c62485da927919d9e5b8)
  4. KitKat x86 (4.4.4)
    (sha256: 6614f1214ea33edd430dbbb95eca1a68e3dda4fba12bf9727304611660d7db9d)

Demo Images

We provide some demo images which you can try out with qemu.
  • L4Android KitKat 4.4.4, x86

    This demo runs two instances of L4Android with Android KitKat 4.4.4 in parallel. Both instances feature persistant storage, a virtual power supply and SD card support. To run this demo the ISO file (55MB) and a qemu virtual hard drive (577MB) are needed.
    You can start the demo with qemu
    qemu-system-i386 -cdrom android_x86_kk.iso -boot d -m 1536 -smp 4 -usbdevice mouse -drive file=l4android-hd.img -enable-kvm -serial telnet:localhost:4444,server -enable-kvm