From: Simon Wright <simon@pushface.org>
Subject: Re: GNAT GPL Edition for 8Bit AVR microcontrollers
Date: Wed, 07 Sep 2016 12:04:02 +0100
Date: 2016-09-07T12:04:02+01:00 [thread overview]
Message-ID: <lyh99sq8d9.fsf@pushface.org> (raw)
In-Reply-To: cb3a751f-2a4d-4925-8799-93cec8948de9@googlegroups.com
fabien.chouteau@gmail.com writes:
> Hi,
> On Tuesday, September 6, 2016 at 11:30:50 PM UTC+2, jordanl...@gmail.com wrote:
>> Hi All,
>>
>> I am currently working on a Project that involves programming a
>> device (using ATmega328P) using the Ada programming language as well
>> as SPARK Tools or Ravenscar profiles if possible to verify and
>> validate the software.
Provided you can get a compiler (as Fabien suggested, or, if you're able
to run on Windows, try GNAT GPL 2012 from libre.adacore.com) you will be able
to use the SPARK tools; see [1], especially chapter 19. The natural way
of handling SPARK uses aspects, and you'd need a recent compiler to
support that (FSF GCC 6, GNAT GPL 2016).
FSF GCC 6 appears to have AVR support, so you could build your own
cross-compiler.
But the ATmega328P has 32kB flash, 2kB sram, so your chances of getting
Ravenscar to fit are, practically, zero.
[1] http://www.inspirel.com/articles/Ada_On_Cortex.html
next prev parent reply other threads:[~2016-09-07 11:04 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-09-06 21:30 GNAT GPL Edition for 8Bit AVR microcontrollers jordanleemauro
2016-09-07 10:00 ` fabien.chouteau
2016-09-07 11:04 ` Simon Wright [this message]
2016-09-07 10:28 ` rrr.eee.27
2016-09-07 16:51 ` Tero Koskinen
2016-09-09 20:14 ` jordanleemauro
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox