[16:37:13] <yeo> http://blog.adacore.com/ada-on-the-first-risc-v-microcontroller