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!mx02.eternal-september.org!.POSTED!not-for-mail
From: Brian Drummond <brian@shapes.demon.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: STM32F4 GNAT Run Time System - roadmap
Date: Sat, 30 Jan 2016 14:21:42 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <n8igtm$3tf$2@dont-email.me>
References: <lyzj49qecx.fsf@pushface.org> <ml96i2$3qs$2@dont-email.me>
	<lya8pnh1dq.fsf@pushface.org> <n43nkd$kqe$1@dont-email.me>
	<lypowlv33e.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Jan 2016 14:21:42 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="da745e888d4a5182b5fda6212bbb0a63";
	logging-data="4015"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+ZpjbMUUVutH0z1oW6dGWljOPZBJyvdXs="
User-Agent: Pan/0.139 (Sexual Chocolate; GIT bf56508
 git://git.gnome.org/pan2)
Cancel-Lock: sha1:97fQRJPe45FQ9wzyNVe1NBLkmsQ=
Xref: news.eternal-september.org comp.lang.ada:29293
Date: 2016-01-30T14:21:42+00:00
List-Id: <comp.lang.ada>

On Thu, 28 Jan 2016 20:52:37 +0000, Simon Wright wrote:

> Brian Drummond <brian@shapes.demon.co.uk> writes:

>>> AdaCore, as recently noted here, have made some tools available on
>>> Github[2]; one of these is svd2ada.
>>
>> This looks excellent!
>>
>> Though I can't see SVDs for any of the Texas Instruments devices there
>> yet.
> 
> The embsysregview project at Sourceforge has a jar file for download
> (the last on the embsysregview / 0.2.5 page) which contains
> msp430g2553.xml (not in the same format as an SVD, though).

I was not aware of that, thanks! Though I don't know how I could apply it 
to the rest of the MSP430 family (500-odd distinct MCUs)

I was actually referring to TI's ARM-Cortex devices - they have at least 
four different families of ARM processors:
	Tiva (formerly Stellaris) at the low end
	Sitara (high end GHz devices, as in the Beaglebone boards)
	MSP432 (ultra low power, for the MSP430 market)
	Hercules (RM42/57000 sub- families for industrial and automotive)

The last of these families is especially interesting - dual CPUs in 
lockstep (but 2 cycles apart) with a trap mechanism if the 2 CPUs do 
anything different from each other. Aimed at high integrity applications, 
they would be a logical target for Ada.

-- Brian