support for Cortex-M7 in GNAT-GPL?

[0x00080000@gmail.com]

Dear all,

a) I have the following GNAT-GPL version for ARM installed: GNAT GPL 2015 (20150428-49)

b) Before purchasing a 32F746GDISCOVERY board containing a Cortex-M7 core, I tried to figure out if this version of gnat would support this board/micro-controller.

=>

A) different files in the runtime do seem to hint that this is indeed the case as they execute different branches depending on the value 'hard-wired' in the 'MCU device ID code' register located at address 16#E004_2000#

One of the values that this registers content is compared to is defined in the file s-stm32f.ads as:

DEV_ID_STM32F7xxxx : constant := 16#449#; 

B) However, this version of the gnat compiler does not seem to support the compiler switch -mcpu=cortex-m7

=>

As such, I'm still puzzled whether this version of gnat does indeed has support for the Cortex-M7 or not. Did anybody on this forum already tried this out?
 
Side thought:
both the Cortex-M4 and Cortex-M7 are based on the ARMv7-M ISA.
As such, specifying -mcpu=cortex-m4 just might work out fine
Despite this observation, recent versions of gcc do seem to insist on using -mcpu=cortex-m7 (?)

Kind regards,
Stijn