#include "board.h"
#include "stm32h7xx_hal.h"

void BOARD_InitBootClocks(void) {
    __HAL_RCC_SYSCFG_CLK_ENABLE();

    SystemCoreClockUpdate();
}