[freebeard]

According to Richard Stallman, it should be GNU/Linux.

Originally Posted by DDG

Linux and GNU - GNU Project - Free Software Foundation
Linux is normally used in combination with the GNU operating system: the whole system is basically GNU with Linux added, or GNU/Linux. All the so-called "Linux" distributions are really distributions of GNU/Linux.

The Android branding is Google's embrace and extend strategy following Microsoft's classic strategy.

Originally Posted by DDG

Android (operating system) - Wikipedia
https://en.wikipedia.org/wiki/Android_(operating_system)
Android is a mobile operating system based on a modified version of the Linux kernel and other open source software, designed primarily for touchscreen mobile devices such as smartphones and tablets. Android is developed by a consortium of developers known as the Open Handset Alliance and commercially sponsored by Google.