Welcome to L4Android

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.
Our solution is completely open source and you can go ahead and check out the code or try it out with our demo images.

What is L4Android?

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.
The L4Android kernel supports the x86 and ARM platform and we support both the Froyo (2.2) and Gingerbread (2.3) release.

Who we are

The L4Android project is joint work of the Operating Systems Group at the Technische Universität Dresden and the chair of Security in Telecommunications at the University of Technology Berlin.