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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:a6b:9fc4:: with SMTP id
 i187-v6mr9132236ioe.28.1528068095022;
        Sun, 03 Jun 2018 16:21:35 -0700 (PDT)
X-Received: by 2002:a9d:70c2:: with SMTP id w2-v6mr454324otj.2.1528068094865;
 Sun, 03 Jun 2018 16:21:34 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!weretis.net!feeder4.news.weretis.net!newsreader5.netcologne.de!news.netcologne.de!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!u74-v6no4609440itb.0!news-out.google.com!f20-v6ni3201itd.0!nntp.google.com!v8-v6no4602956itc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 3 Jun 2018 16:21:34 -0700 (PDT)
In-Reply-To: <lyk1rkhkl3.fsf@pushface.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=75.70.195.138;
 posting-account=QyztswoAAADMpLjqBKxiGq6giZCkeW04
NNTP-Posting-Host: 75.70.195.138
References: <pe327n$28f$1@dont-email.me> <ly7enuhk14.fsf@pushface.org>
 <pe5q0h$617$1@dont-email.me> <pe6a7a$pu2$1@dont-email.me>
 <pe84cr$ten$2@dont-email.me>
 <pe8pov$l7u$1@dont-email.me> <peaq10$n43$1@dont-email.me>
 <616db519-48be-4969-be11-24096ab9ee47@googlegroups.com>
 <lyk1rkhkl3.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2dc783b0-90d2-4828-8f1b-a974a7634516@googlegroups.com>
Subject: Re: How to configure GNAT GPL on x86-64 Linux for ARM ELF development
From: JLotty <jlotspeich34@gmail.com>
Injection-Date: Sun, 03 Jun 2018 23:21:35 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2084
X-Received-Body-CRC: 1377040963
Xref: reader02.eternal-september.org comp.lang.ada:52893
Date: 2018-06-03T16:21:34-07:00
List-Id: <comp.lang.ada>

On Wednesday, May 30, 2018 at 3:58:34 PM UTC-6, Simon Wright wrote:
> JLotty <jlotspeich34@gmail.com> writes:
> 
> > https://github.com/lambourg/Ada_Bare_Metal_Demos
> > https://travis-ci.org/AdaCore/Ada_Drivers_Library
> 
> The Bare_Metal_Demos doesn't seem to have anything for STM3F4
> The Ada_Drivers_Library is actually at github.com

The Bare_Metal_Demos contain:
stm32f429_demos.gpr
stm32f469_demos.gpr
stm32f746_demos.gpr
stm32f769_demos.gpr

Choose the project to match your version of STM32F4 board.  All of these follow the same base configuration/functionality.