/* 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 st_stm32f7_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 st_stm32f7_init(void)
{
	LL_FLASH_EnableART();
	sys_cache_instr_enable();
	sys_cache_data_enable();
	SystemCoreClock = 16000000;
	return 0;
}