/* Initialize the boards on-board LEDs (LED1 to LED4) 
The LEDs are connected to the following pins: */
static void leds_init(void)
/* Initialize the boards on-board LEDs (LED1 to LED4) 
The LEDs are connected to the following pins: */
static void leds_init(void)
{
    LED_PORT->FIODIR |= (LED1_PIN | LED2_PIN | LED3_PIN | LED4_PIN);
    LED_PORT->FIOCLR = (LED1_PIN | LED2_PIN | LED3_PIN | LED4_PIN);
}