The L4Android kernel from http://l4android.org.