/* Initialize the boards on-board LEDs (LD3 and LD4) 
The LEDs are connected to the following pins: */
void leds_init(void)
/* Initialize the boards on-board LEDs (LD3 and LD4) 
The LEDs are connected to the following pins: */
void leds_init(void)
{
    RCC->AHBENR |= RCC_AHBENR_GPIOCEN;
    LED_PORT->OSPEEDR |= 0x000f0000;
    LED_PORT->OTYPER &= ~(0x00000300);
    LED_PORT->MODER &= ~(0x000f0000);
    LED_PORT->MODER |= 0x00050000;
    LED_PORT->PUPDR &= ~(0x000f0000);
    LED_PORT->BRR = 0x0300;
}