The licensing for the Ada ecosystem is confusing to me. It seems that the major vendors are Adacore, Green Hills, and Atego. Am I correct that for commercial products, there are no free toolchains available?
Adacore also puts out a slightly more state of the art version of gnat but it's GPL so in theory everything you make with it needs to be gpl as well (though of course that's fairly irrelevent for many classes of software)
As to my specific situation, I cannot release source code and so the Adacore GPL licensed product is a no-go.
(I am not a lawyer; do not rely on my advice without thoroughly verifying it.)