/* Initialize the boards on-board LEDs (LD4,LD5 and LD6) 
The LEDs are connected to the following pins: */
static void leds_init(void)
/* Initialize the boards on-board LEDs (LD4,LD5 and LD6) 
The LEDs are connected to the following pins: */
static void leds_init(void)
{
    RCC->AHB1ENR |= RCC_AHB1ENR_GPIOAEN;
    LED_PORT->MODER &= ~(0x000000FC);
    LED_PORT->MODER |= 0x00000054;
    LED_PORT->OSPEEDR |= 0x000000FC;
    LED_PORT->OTYPER &= ~(0x000E);
    LED_PORT->PUPDR &= ~(0x000000FC);
    LED_PORT->BSRRL = 0x00E;
}