Actually thanks to the Android architecture, having Linux as the kernel is pretty irrelevant to most users and developers.<p>Given the thin APIs exposed in the NDK, Google could change it by any UNIX flavored kernel and no one would notice.<p>The OEMs might be a bit pissed off if they had to change the APIs, but that&#x27;s all.