Linux est indépendant de GCC dans le sens où n'importe quel compilateur C est censé pouvoir compiler Linux.
Non, uniquement gcc. C'est écrit noir sur blanc dans le README à la racine des sources.
Et à d'autres endroits qu'il ne liront pas les rapports de bugs fait avec d'autres compilateurs.
Alors bon, en pratique ça marche avec d'autres, mais c'est pas plus un objectif que le support des pilotes binaires.
[^] # Re: deja pris
Posté par un_brice (site web personnel) . En réponse à la dépêche Pilotes binaires dans Linux: quel est le problème ?. Évalué à 7.
Et à d'autres endroits qu'il ne liront pas les rapports de bugs fait avec d'autres compilateurs.
Alors bon, en pratique ça marche avec d'autres, mais c'est pas plus un objectif que le support des pilotes binaires.