> differences between typical Linux and Android I know how this looks like, but I really wish a more precise term, like e.g. GNU/Linux would have catched on...

> differences between typical Linux and Android I know how this looks like, but I really wish a more precise term, like e.g. GNU/Linux would have catched on... The kernel is necessary for the OS, but for the user freedom kind of not that important, as can be seen by Google/Linux aka. Android.