1. 14

  2. 8

    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.

    1. 3

      Thanks for the link :).

    2. 1

      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.