modify the source code so that the LED will be blinking exactly twice as fast.

here is the code==

#include "pin_mux.h" #include "clock_config.h" #include "board.h" int main(void) { /* Board pin init */ BOARD_InitBootPins(); BOARD_InitBootClocks();

/* Set systick reload value to generate 1ms interrupt */ if (SysTick_Config(SystemCoreClock / 1000U)) { while (1) { } }

while (1) { /* Delay 1000 ms */ SysTick_DelayTicks(1000U); GPIO_PortToggle(BOARD_LED_GPIO, 1u << BOARD_LED_GPIO_PIN); } }