/* Initialize the boards on-board LEDs. 
The LEDs are connected to the following pin: */
static void leds_init(void)
/* Initialize the boards on-board LEDs. 
The LEDs are connected to the following pin: */
static void leds_init(void)
{
    RCC->APB2ENR |= RCC_APB2ENR_IOPBEN;
    LED_GREEN_PORT->CR[0] = (0x3 << ((LED_GREEN_PIN-8)*4));;
    LED_RED_PORT->CR[0] = (0x3 << ((LED_RED_PIN-8)*4));
}