/* 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*4));
    RCC->APB2ENR |= RCC_APB2ENR_IOPCEN;
    LED_ORANGE_PORT->CR[1] = (0x3 << ((LED_ORANGE_PIN-8)*4));
    RCC->APB2ENR |= RCC_APB2ENR_IOPDEN;
    LED_RED_PORT->CR[0] = (0x3 << (LED_RED_PIN*4));
}