I recently saw an article where a guy got Ada/SPARK up and running on one of those Gaisler chips. Was super neat to see, kind of made me want to play with Ada.
I love Ada, but the tooling is hell. Alire is a great start for a package manager, but it's still clunky and parallel projects like the ada language server still don't build with it for some reason.