L4Android1 is a fork of L4Linux which encompasses the modifications to the main-line Linux kernel for Android. It is a joint project of the operating systems group of the Dresden University of Technology and the chair for Security in Telecommunications of Technische Universität Berlin.
"L4Android". l4android.org. 28 August 2012. http://l4android.org/ ↩