bon j'ai encore ecrit trop vite:
Sachant que le noyau pourrait très bien être écrit en C ++...

Voiou.
Tout ca pour dire que la majorité des commandes dans un avion sont soit en C++ soit en ADA. Et que le C++ bien utilisé peut etre parfaitement utilisé dans l'embarqué, meme de haute certification (jusqu'a niveau B).

Pour les compilos c'est du gcc en natif et texas en croisé.