/* Initialize the boards on-board LEDs (LD3 to LD10) 
The LEDs are connected to the following pins: */
static void leds_init(void)
/* Initialize the boards on-board LEDs (LD3 to LD10) 
The LEDs are connected to the following pins: */
static void leds_init(void)
{
    RCC->AHBENR |= RCC_AHBENR_GPIOEEN;
    LED_PORT->OSPEEDR |= 0xffff0000;
    LED_PORT->OTYPER &= ~(0x0000ff00);
    LED_PORT->MODER &= ~(0xffff0000);
    LED_PORT->MODER |= 0x55550000;
    LED_PORT->PUPDR &= ~(0xffff0000);
    LED_PORT->BRR = 0xff00;
}