Je vous signale qu'ici on parle de PCs portables, certes plus petits que d'habitude, mais ce n'est pas de l'embarqué classique. Je sais très bien qu'il y a des distributions GNU/Linux spécialisées sur l'embarqué, mais ce ne sont pas celles qu'un utilisateur d'une telle machine voudra utiliser.