> > For example, what do Airplanes use? GNU? > Ada compilers must be certified, so if you are developing software for > avionics *you have* to write your software with a compiler certified for > avionics development. > JK Interesting.. Is the GNU ada compiler certified? L505