Re: STM32F4 GNAT Run Time System - roadmap

[Brian Drummond <brian@shapes.demon.co.uk>]

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