GCC est portable sur des centaines de machines y compris embarquées, donc je ne comprends pas trop pourquoi ils utiliseraient autre chose dans l'embarqué en fait, mais si tu le dis, tu as sans doûte raison (il suffit de voir ce qu'utilise TI comme compilateur(s)

), même si je ne comprends pas trop les raisons d'un tel choix (GCC étant gratuit, compatible entre plateformes (avec ce genre d'extensions de langage justement, et aussi avec les fonctionnalités du standard ISO C99) et optimisant plutôt bien).