http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60174
--- Comment #13 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- you can also build a cross-gcc/gnat for this spec. all you need for it, are the system root files, but I can give them to you.