From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!reality.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Tero Koskinen <tero.koskinen@iki.fi>
Newsgroups: comp.lang.ada
Subject: Re: GNAT GPL Edition for 8Bit AVR microcontrollers
Date: Wed, 7 Sep 2016 19:51:11 +0300
Organization: JSA Research & Innovation
Message-ID: <nqpghi$fps$1@franka.jacob-sparre.dk>
References: <a2f8f6ee-6a90-466b-81ed-3f9fda70332a@googlegroups.com>
 <b40b76cf-0a05-4688-8eee-479a41725cf3@googlegroups.com>
NNTP-Posting-Host: 87-93-22-177.bb.dnainternet.fi
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: franka.jacob-sparre.dk 1473267058 16188 87.93.22.177 (7 Sep 2016
 16:50:58 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Wed, 7 Sep 2016 16:50:58 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.2.0
In-Reply-To: <b40b76cf-0a05-4688-8eee-479a41725cf3@googlegroups.com>
Xref: news.eternal-september.org comp.lang.ada:31723
Date: 2016-09-07T19:51:11+03:00
List-Id: <comp.lang.ada>

7.9.2016, 13.28, rrr.eee.27@gmail.com wrote:
> 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
>
> The last published version of AVR-Ada was for gcc-4.7. I updated the
> GIT repository for gcc-4.9 and I have a half baked version for
> gcc-5.3 on my computer. I am not sure if I find the energy to update
> AVR-Ada for gcc-6, there must be some demand and it could be yours.
...
> best regards RE

Getting back to AVR-Ada development has been my plan also. I have just
been on a sidetrack and played with Arduino Zero (it has ARM-based MCU,
Atmel SAMD21) and C code [1,2].

Meanwhile, you can find some AVR-Ada tips from my Arduino blog at
http://arduino.ada-language.com/

Yours,
  Tero

[1] https://bitbucket.org/tkoskine/samd2x-peripheral-library/
[2] https://bitbucket.org/tkoskine/samd-ada/