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?
the FSF version of gnat is robust, mature, and reasonably up to date. It's licensed LGPL so you can use it pretty much like anything else.
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)
Perhaps it has to do with the runtime being GPL'd? Regardless, the Adacore FAQ specifically councels that the GPL version is suitable for free software only.[0] Admittedly, I find the licensing situation confusing and could be completely in the wrong here.