/* Nothing to initialize at the moment. Turns the red LED on and the green LED off.  */
void board_init(void)
/* Nothing to initialize at the moment. Turns the red LED on and the green LED off.  */
void board_init(void)
{
    LED_GREEN_OFF;
    LED_RED_ON;
    puts("RIOT native board initialized.");
}