extern void SystemClock_Config(void);

#include "main.h"

__attribute__ ((constructor))
void hal_init() {

#ifdef STM32F769xx
  SCB_EnableICache();
  SCB_EnableDCache();
#endif

  HAL_Init();
  SystemClock_Config();
}