L4ANDROID

Our solution is completely open source and you can go ahead and check out the code or try it out with our demo images... L 4 Android 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. L 4 Android combines both the L 4 Linux and Google modifications of the Linux kernel and thus enables us to run Android on top of a microkernel... The L 4 Android 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.

Primary location: Berlin Germany