/* Initialize the boards on-board LEDs (LD3 and LD4) 
The LEDs are connected to the following pins: */
static void leds_init(void)
/* Initialize the boards on-board LEDs (LD3 and LD4) 
The LEDs are connected to the following pins: */
static void leds_init(void)
{
    RCC->AHB1ENR |= RCC_AHB1ENR_GPIODEN;
    LED_PORT->MODER &= ~(0xff000000);
    LED_PORT->MODER |= 0x55000000;
    LED_PORT->OSPEEDR |= 0xff000000;
    LED_PORT->OTYPER &= ~(0xf000);
    LED_PORT->PUPDR &= ~(0xff000000);
    LED_PORT->BSRRH = 0xf000;
}