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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.237.44.38 with SMTP id f35mr36039228qtd.18.1473197449866; Tue, 06 Sep 2016 14:30:49 -0700 (PDT) X-Received: by 10.157.26.54 with SMTP id a51mr3061078ote.0.1473197449737; Tue, 06 Sep 2016 14:30:49 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!p55no1233348qtp.1!news-out.google.com!b44ni433qte.0!nntp.google.com!p55no1233334qtp.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 6 Sep 2016 14:30:48 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=178.208.198.1; posting-account=fX-H8QoAAACmmrhGVTL0Gv8KJqBiCZdc NNTP-Posting-Host: 178.208.198.1 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: GNAT GPL Edition for 8Bit AVR microcontrollers From: jordanleemauro@gmail.com Injection-Date: Tue, 06 Sep 2016 21:30:49 +0000 Content-Type: text/plain; charset=UTF-8 Xref: news.eternal-september.org comp.lang.ada:31716 Date: 2016-09-06T14:30:48-07:00 List-Id: 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