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!news.eternal-september.org!feeder.eternal-september.org!news.stack.nl!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Tero Koskinen <tero.koskinen@iki.fi>
Newsgroups: comp.lang.ada
Subject: Re: A Guide to successfully building the GNAT toolchain?
Date: Tue, 29 Jul 2014 19:03:15 +0300
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <lr8gk8$f09$1@loke.gir.dk>
References: <5cf2d824-8fb0-473e-b794-823fa43b5155@googlegroups.com>
NNTP-Posting-Host: 188-67-248-215.bb.dnainternet.fi
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: loke.gir.dk 1406649800 15369 188.67.248.215 (29 Jul 2014 16:03:20
 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Tue, 29 Jul 2014 16:03:20 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
In-Reply-To: <5cf2d824-8fb0-473e-b794-823fa43b5155@googlegroups.com>
X-Enigmail-Version: 1.6
Xref: news.eternal-september.org comp.lang.ada:21338
Date: 2014-07-29T19:03:15+03:00
List-Id: <comp.lang.ada>

29.7.2014 1:42, Diogenes wrote:
> Has anyone done this?
> 
> Trying to build a GNAT Toolchain that will generate code for the Kinetis MK20DX256 on the Teensy 3.1 platform.
...
> For the ARM Cortex-M4, do I need to build it specifically for the Vendor(Kinetis MK20DX256) or just the Generic M4?

Generic gcc toolchain targeting arm-eabi(-none) should work.

https://github.com/lucretia/tamp gives you one example.

However, you need to tailor the linker scripts (.ld)
for your board. (Sometimes, even different projects
might need different linker scripts for the same board.)

I also recently got one Teensy 3.1 with MK20DX256
and I would recommend that stay away from it (unless you have
already bought one).

For example, it does not have JTAG debugging interface
and the programming the device happens with a special
software (GUI-only on Windows, Linux luckily has plain
command line interface also).

If you are interested in Freescale Cortex-Mx processors,
Freedom boards like FRDM-K20D50M[1] are better, imo.

Yours,
 Tero

[1]
http://fi.mouser.com/ProductDetail/Freescale-Semiconductor/FRDM-K20D50M/?qs=WAvhzeN%2fGaqeJXUe8YKmSw%3d%3d