/* Initialize the boards standard LEDs (RED, YELLOW, GREEN) 
The LEDs are connected to the following pins: */
static void leds_init(void)
/* Initialize the boards standard LEDs (RED, YELLOW, GREEN) 
The LEDs are connected to the following pins: */
static void leds_init(void)
{
    RCC->AHB1ENR |= RCC_AHB1ENR_GPIOBEN;
    LED_PORT->OSPEEDR &= ~(0xF0030000);
    LED_PORT->OSPEEDR |= 0xA0020000;
    LED_PORT->OTYPER &= ~(0x0000C100);
    LED_PORT->MODER &= ~(0xF0030000);
    LED_PORT->MODER |= 0x50010000;
    LED_PORT->PUPDR &= ~(0xF0030000);
    LED_PORT->BSRRL = 0xC100;
}