/* Initializes the microcontroller core clock. 
The following configuration selects the internal 48 MHz DCO1 to source the MCU and the peripherals: */
void SystemCoreClockSetup(void)
/* Initializes the microcontroller core clock. 
The following configuration selects the internal 48 MHz DCO1 to source the MCU and the peripherals: */
void SystemCoreClockSetup(void)
{
  const XMC_SCU_CLOCK_CONFIG_t CLOCK_XMC1_0_CONFIG =
  {
    .pclk_src = XMC_SCU_CLOCK_PCLKSRC_DOUBLE_MCLK,
    .rtc_src = XMC_SCU_CLOCK_RTCCLKSRC_DCO2,
    .fdiv = 0U,
    .idiv = 1U,
    .dclk_src = XMC_SCU_CLOCK_DCLKSRC_DCO1,
    .oschp_mode = XMC_SCU_CLOCK_OSCHP_MODE_OSC,
    .osclp_mode = XMC_SCU_CLOCK_OSCLP_MODE_DISABLED
  };
  XMC_SCU_CLOCK_Init(&CLOCK_XMC1_0_CONFIG);
}