Ada and Spark on ARM Cortex-M – A Tutorial with Arduino and Nucleo Examples
by swq115 on 3/28/2026, 6:26:42 AM
http://inspirel.com/articles/Ada_On_Cortex.html
Comments
by: addaon
At a lower level in the formal verification stack than this, it's on the one hand awesome that ARM has published a machine readable architecture specification for the more recent A architectures in ASL... and on the other hand extremely frustrating that they haven't done the same for M.
4/1/2026, 3:07:54 PM
by: Neywiny
I'll read more later but just keep in mind nucleo is a series of form factors. There's even M33 on a -144 which is ARMv8-M
4/1/2026, 4:35:20 PM