/* Perform basic hardware initialization at boot. 
This needs to be run from the very beginning. So the init priority has to be 0 (zero). */
static int stm32m4_init(void)
/* Perform basic hardware initialization at boot. 
This needs to be run from the very beginning. So the init priority has to be 0 (zero). */
static int stm32m4_init(void)
{
	LL_AHB3_GRP1_EnableClock(LL_AHB3_GRP1_PERIPH_HSEM);
	SystemCoreClock = 209000000;
	return 0;
}