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

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:// -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 -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