Android fonctionne sur Linux ?

Android utilise le noyau Linux pour le système central et il peut être (et est) optimisé pour diverses plateformes (compilé pour ARM, x86, x64, PPC, etc.).

Voici un graphique fantastique pour vous le démontrer :

Fuente: Poste sur Unix.SE

Android s'appuie sur la version 2.6 de Linux pour les services système de base tels que la sécurité, la gestion de la mémoire, la gestion des processus, la pile réseau et le modèle de pilote. Le noyau agit également comme une couche d'abstraction entre le matériel et le reste de la pile logicielle.

Fuente: http://developer.Android.com/guide/basics/what-is-Android.html

Et mon commentaire sur votre deuxième phrase est que le noyau Linux n'est pas destiné uniquement aux systèmes d'exploitation de bureau. Ses cas d'utilisation varient du système d'exploitation de bureau aux serveurs, aux ordinateurs centraux et aux superordinateurs, en passant par les dispositifs embarqués.

Linux est un noyau de système d'exploitation largement porté. En raison de son faible coût et de sa facilité de personnalisation, le noyau Linux est utilisé sur une gamme très variée d'architectures informatiques : dans les appareils portatifs et les systèmes centraux, dans des appareils allant des téléphones mobiles aux superordinateurs.

Par ailleurs, Palm (racheté plus tard par HP) utilise un système d'exploitation dérivé de Linux, webOS, qui est utilisé dans sa gamme de smartphones Palm Pre. Plusieurs pare-feu et routeurs de réseaux de fabricants tels que Cisco/Linksys utilisent un noyau Linux personnalisé. Il existe des tonnes d'appareils qui utilisent linux embarqué.