Coincidentally, I just found a post on using Ada (GPS IDE) with STM-based, bare-metal targets. Same person that rewrote a drone’s code in Ada and SPARK to improve safety. Here the latest:
Just adding it for people who clicked this thread for safer languages in general on embedded software rather than just Rust. Get to see two styles on similar hardware.
Thanks for the link :).
Super happy to see this. With zinc.rs losing steam I was afraid that it’d be back to the days of forking board support files, but this is a much better technique. One thing I learned from the last embedded project I worked on is that being able to use CMSIS is much better than relying on a no-name ARM vendor’s software team.