[pjmlp]

Depending on how internal politics play out at Google, Android's kernel might eventually be replaced by Fuchsia (ART is already being ported, commits are visible on AOSP).

And Fuchsia is mikrokernel based.