/* Initialize the boards on-board LEDs. 
The green LED is connected to pin PA5  */
static void leds_init(void)
/* Initialize the boards on-board LEDs. 
The green LED is connected to pin PA5  */
static void leds_init(void)
{
    RCC->AHBENR |= RCC_AHBENR_GPIOAEN;
    LED_GREEN_PORT->OSPEEDR |= 0x00000c00;
    LED_GREEN_PORT->OTYPER &= ~(0x00000020);
    LED_GREEN_PORT->MODER &= ~(0x00000c00);
    LED_GREEN_PORT->MODER |= 0x00000400;
    LED_GREEN_PORT->PUPDR &= ~(0x00000c00);
    LED_GREEN_PORT->BRR = 0x00c0;
}