/* Initialize the boards on-board LEDs (LD3 and LD4) 
The LEDs are connected to the following pins: */
static void leds_init(void)
/* Initialize the boards on-board LEDs (LD3 and LD4) 
The LEDs are connected to the following pins: */
static void leds_init(void)
{
    LED_PORT_C->AFSEL &= ~(1 << LED_BLUE_PIN);
    LED_PORT_D->AFSEL &= ~((1 << LED_RED_PIN) | (1 << LED_GREEN_PIN));
    LED_PORT_C->DIR |= (1 << LED_BLUE_PIN);
    LED_PORT_D->DIR |= ((1 << LED_RED_PIN) | (1 << LED_GREEN_PIN));
    IOC->PC_OVER[LED_BLUE_PIN] = IOC_OVERRIDE_OE;
    IOC->PD_OVER[LED_GREEN_PIN] = IOC_OVERRIDE_OE;
    IOC->PD_OVER[LED_RED_PIN] = IOC_OVERRIDE_OE;
    LED_RAINBOW();
}