Ada on ARM Cortex-M - tutorial

Started by March 30, 2016
I'm pleased to announce that the tutorial titled "Ada and SPARK on ARM Cortex-M" got
its second edition:

http://inspirel.com/articles/Ada_On_Cortex.html

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,

-- 
Maciej Sobczak * http://www.inspirel.com
On 30/03/16 14:15, see.my.homepage@gmail.com wrote:
> I'm pleased to announce that the tutorial titled "Ada and SPARK on ARM Cortex-M"
got its second edition:
> > http://inspirel.com/articles/Ada_On_Cortex.html > > 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. Thank you for your efforts. Do you have any plans for extending the tutorial to the Zynq FPGA devices, which contain two A9 processors? People are at last waking up to the Zynq's advantages, and there are low-cot boards becoming available.
> Do you have any plans for extending the tutorial to the > Zynq FPGA devices, which contain two A9 processors?
Thank you for the feedback. There are no strict plans (yet!) for subsequent editions, but feedback from readers is exactly what drives such efforts. I fully agree that the Zynq series of devices is an interesting target and it very well might be that this will be the direction for further tutorial chapters. Note also that natural technical connections between Ada and VHDL make such hybrid developments (that is, ARM + FPGA) a particularly fertile ground for discovery and exploration. :-) Regards, -- Maciej Sobczak * http://www.inspirel.com
On 30/03/16 21:54, see.my.homepage@gmail.com wrote:
> >> Do you have any plans for extending the tutorial to the >> Zynq FPGA devices, which contain two A9 processors? > > Thank you for the feedback. There are no strict plans (yet!) for subsequent
editions, but feedback from readers is exactly what drives such efforts. I fully agree that the Zynq series of devices is an interesting target and it very well might be that this will be the direction for further tutorial chapters.
> > Note also that natural technical connections between Ada and VHDL make such hybrid
developments (that is, ARM + FPGA) a particularly fertile ground for discovery and exploration. :-) I wondered if you would notice that! The HDL world is just as partisan and divided as the software world. In this case the division is between Verilog and VHDL, and similar preferences guide people towards each of them. Unlike the software world, vendors (Xilinx in this case) treat them as equals, and it is normal to see designs consisting of some VHDL modules mixed with some Verilog modules. I will ignore System-c :)