Interested in provably safe systems programming for embedded devices, I pursued an Ada toolchain for AVR programming. This is how it went!