Hi Frank,
You can take a look to the linker file
/* Specify the memory areas */
MEMORY
{
m_interrupts (RX) : ORIGIN = 0x00000000, LENGTH = 0x00000200
m_flash_config (RX) : ORIGIN = 0x00000400, LENGTH = 0x00000010
m_text (RX) : ORIGIN = 0x00000410, LENGTH = 0x0003FBF0
m_data (RW) : ORIGIN = 0x1FFFC000, LENGTH = 0x00010000
}
So, you will have a origin address 0x1FFF_C000 to 0x2000_C000
Hope it helps,
Best Regards,
Mario