Comment by ocrete

Android is really its own platform that happens to use the Linux kernel as a shortcut.

What we're talking about here is really what used to be called GNU/Linux, so the whole platform that is based on the software developed by the various communities.