/* Initialize the boards on-board LEDs. 
The LEDs are initialized here in order to be able to use them in the early boot for diagnostics.  */
static void leds_init(void)
/* Initialize the boards on-board LEDs. 
The LEDs are initialized here in order to be able to use them in the early boot for diagnostics.  */
static void leds_init(void)
{
    gpio_init(LED_RED_GPIO, GPIO_DIR_OUT, GPIO_NOPULL);
    gpio_init(LED_YELLOW_GPIO, GPIO_DIR_OUT, GPIO_NOPULL);
    gpio_init(LED_GREEN_GPIO, GPIO_DIR_OUT, GPIO_NOPULL);
}