A. Android (TM) et les SE basés sur AOSP sont des Linux mais pas des GNU/Linux
B. Android (TM) n'est pas un système libre
Donc si le sujet est quels sont les appareils mobiles intelligents actuellement en vente qui fonctionnent "correctement" avec un système
libre GNU/Linux, le tour est vite fait :
1. Le
PinePhone avec un grand choix de systèmes GNU/Linux libres :
PosmarketOS,
Manjaro,
Mobian,
Ubuntu Touch,... avec des niveaux de fonctionnalités, de maturité et de stabilité variables,
2. Le
Librem 5 : PureOS (et d'autres avec moins de fonctionnalités et de stabilité pour l'instant)
(Et ils utilisent des composants propriétaires (pilotes) quand il n'est pas possible de faire autrement (techniquement ou légalement pour le modem notamment)).
Si l'on accepte les appareils mobiles intelligents qui font tourner un système libre GNU/Linux au dessus d'un noyau Linux et en utilisant des pilotes android alors le spectre est plus large avec par exemple les dizaines d'appareils supplémentaires
supportés par Ubuntu Touch dans cette configuration.
Si l'on accepte les appareils mobiles intelligents qui font tourner un système libre Linux mais
non GNU alors cela se compte en centaines avec
LineageOS,
/e/ et d'autres
Si l'on accepte les appareils qui font tourner un système
propriétaire et non GNU au dessus de Linux alors cela se compte en dizaines de milliers avec Andoid (TM) principalement (et le sujet se dilue dans un océan de possibles).
La question nécessite donc de savoir de quoi on parle quand on utilise le mot "Linux".
