From: jordanleemauro@gmail.com
Subject: Re: GNAT GPL Edition for 8Bit AVR microcontrollers
Date: Fri, 9 Sep 2016 13:14:09 -0700 (PDT)
Date: 2016-09-09T13:14:09-07:00 [thread overview]
Message-ID: <32fc5b51-525f-44ba-8e22-d656a07f47a5@googlegroups.com> (raw)
In-Reply-To: <a2f8f6ee-6a90-466b-81ed-3f9fda70332a@googlegroups.com>
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.
>
> Here is my question:
>
> What version of GNAT must be used for full compatibility of AVR, what other tools are required for a smooth Achievement?
>
> Thanks
Hi guys,
Thank you for all your tips, support and interest.
I am still very lost on how to build the tool chain. It is very challenging, does any one have any idea on how to build the tool chain as well as, what to watch out for when building this tool chain(what not to do)...
I am not new with Ada, but i am new with linux. I currently have gnat 4.9 installed, is this version of GNAT a problem for the support of avr-ada?
Ps. not using an arduino, but a simple ATmega328p on a breadboard.
prev parent reply other threads:[~2016-09-09 20:14 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
2016-09-07 10:28 ` rrr.eee.27
2016-09-07 16:51 ` Tero Koskinen
2016-09-09 20:14 ` jordanleemauro [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox