From: Simon Wright <simon@pushface.org>
Subject: Re: Ada on ARM Cortex-M
Date: Wed, 30 Mar 2016 17:41:41 +0100
Date: 2016-03-30T17:41:41+01:00 [thread overview]
Message-ID: <ly4mbnlxyy.fsf@pushface.org> (raw)
In-Reply-To: 7903b13e-2627-43cd-8b3b-081144f3cfcc@googlegroups.com
Maciej Sobczak <see.my.homepage@gmail.com> writes:
> 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.
Excellent!
I think the Arduino Due watchdog issue[1] deserves a mention?
[1] http://forward-in-code.blogspot.co.uk/2016/01/arduino-due-and-watchdog.html
next prev parent reply other threads:[~2016-03-30 16:41 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-03-30 13:13 Ada on ARM Cortex-M Maciej Sobczak
2016-03-30 16:41 ` Simon Wright [this message]
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