L4Android 3.16 with KitKat 4.4.4 Support

We are happy to announce the long overdue update of L4Android to a recent version. We have updated L4Android to match the current L4Linux 3.16 release. It is capable of running the x86 Android KitKat 4.4.4 release. We also updated the download section with an up-to-date demo, show-casing two L4Android instances running in parallel.

Main features of this release are:
  • L4Android kernel updated to L4Linux 3.16
  • Persistent storage
  • Virtual SD card

Mailing list l4android-dev

As we have experienced growing interest in the L4Android project, we thought it is time for a mailing list. There you can start discussing your problems, ideas and improvements for L4Android.

So head over to lists.l4android.org and subscribe to l4android-dev.

L4Android ARM Support

I am happy to announce, that L4Android now also supports the ARM platform. We tested an AOSP Gingerbread 2.3.4 build on qemu with the Realview EB Cortex-A9 target as well as on the Freescale Babbage board. Check our demo image to test the result. We will update the build tutorials and build script in the coming days.

Welcome the L4OpenBSD Project

Join me and welcome our sister project L4OpenBSD. L4OpenBSD is a port of the OpenBSD kernel to Fiasco.OC/L4Re. Currently it supports the 4.8 OpenBSD release on the i386 platform. According to the website, an ARM port is planned as well.

L4Android Updated to 2.6.39

We worked hard to update L4Android to the recent versions of Android-x86, L4Re and Fiasco.OC. The L4Android kernel has been updated to version 2.6.39. L4Re and Fiasco.OC are now on version 36. The Android user land has been updated to Gingerbread 2.3.4.

L4Android Project Launched

Recently some major and minor players proposed virtualization solutions for smartphones. At the Mobile World Congress 2011 VMware showed off two Android instances running on one smartphone, e.g. one instance for private the other for business purposes. Working on the same topic for almost a year now we thought it is time to move our Android related research project from academia to the public.
L4Android is derived from the L4Linux project, which is developed at the Technische Universität Dresden. L4Linux is a modified Linux kernel, which runs on top of the Fiasco.OC microkernel. It is binary compatible with the normal Linux kernel. L4Android combines both the L4Linux and Google modifications of the Linux kernel and thus enables us to run Android on top of a microkernel.