I'm pleased to announce that the tutorial titled "Ada and SPARK on ARM Cortex-M" got its second edition:
The tutorial was extended and now targets four popular development boards:
- Arduino M0 (or Genuino Zero)
- Arduino Due
- STM32 Nucleo-32 (with F0 chip)
- STM32 Nucleo-144 (with F7 chip)
The tutorial explains how to write Ada/SPARK programs with zero run-time, without any underlying layers and based solely on the information from chip reference documentation.
Source code for all examples, for all of these boards, is also available.
Regards,