This is something which I think has really hurt Ada adoption, even though in theory it is now available in open-source. I tried to evaluate it for some embedded

This is something which I think has really hurt Ada adoption, even though in theory it is now available in open-source. I tried to evaluate it for some embedded hobby project a while ago and I could not figure out whether the open-source options supported both SPARK and cross-compiling to a cortex m3, and if so how on earth I was supposed to get ahold of the right version and use it. I think this may have improved, but I think there are a huge number of potential Ada users who have written it off because of this (even with an admittedly quite cursory browse of the links below I get the idea that this works, but still no concrete idea of how: lots of examples of code for embedded systems but none I could find of how its built!).