Funny, I wanted to do the same stuff on the same board by converting my current C implementation to Ada, it ended up in a disaster, the compiler wouldn't run on my mac (so I used a linux simulator), the real-time feature of Ada were actually clocked on a fixed SYSTICK, and most of the Ada tools were randomly crashing.

the plugin I started writing at the time: https://github.com/nraynaud/ada-intellij

The code I wanted to convert: https://github.com/nraynaud/webgcode/tree/gh-pages/interpola...

where I threw the towel: https://github.com/nraynaud/bldc_ada