I feel the same way about Ada and RISC-V, to be honest.

https://blog.adacore.com/ada-on-the-first-risc-v-microcontro...

https://hackaday.com/2018/10/08/programming-a-risc-v-softcor...

https://riscv.org/2019/01/adacore-joins-the-risc-v-foundatio...