OK I did some informal looking around, it seems that Ada is a can of worms. Not so much the language, but the ecosystem. It's a complex thing to setup, the tooling, editors and stuff can be costly, the language is regarded as overkill for scenarios that don't require mission critical integrity. It seems there's no straightforward, easy way to get coding in Ada for an MCU without spending thousands.