in a xmc1100 device within the system_XMC1100.c file I got this line
uint32_t SystemCoreClock __attribute__((at(0x20003FFC)));
Its meaning?
It forces the linker to place a variable at a specific memory address (compiler passes attribute to linker), presumably to allow a different application to read the speed of the processor currently. For example in a boot-loader to application scenario.