From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Ada on ARM Cortex-M
Date: Wed, 30 Mar 2016 06:13:15 -0700 (PDT)
Date: 2016-03-30T06:13:15-07:00 [thread overview]
Message-ID: <7903b13e-2627-43cd-8b3b-081144f3cfcc@googlegroups.com> (raw)
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.
Your feedback is welcome.
--
Maciej Sobczak * http://www.inspirel.com
next reply other threads:[~2016-03-30 13:13 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-03-30 13:13 Maciej Sobczak [this message]
2016-03-30 16:41 ` Ada on ARM Cortex-M Simon Wright
2016-03-30 20:58 ` Maciej Sobczak
2016-04-10 18:54 ` Jeremiah
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox