Ada and SPARK on ARM Cortex-M

tutorial with Arduino and Nucleo examples

This tutorial was written for all those who are interested in programming embedded systems and who would like to explore the idea of using Ada and SPARK in systems based on ARM Cortex-M microcontrollers.

The accompanying code is available here: ada-on-cortex.zip

Bonus content:

Very Simple Scheduler