void bsp_start(void) { stm32f4_gpio_set_config_array(&stm32f4_start_config_gpio [0]); if (bsp_interrupt_initialize() != RTEMS_SUCCESSFUL) { _CPU_Fatal_halt(0xe); } }
void bsp_start(void) { stm32f4_gpio_set_config_array(&stm32f4_start_config_gpio [0]); bsp_interrupt_initialize(); }