@ -82,7 +82,7 @@ void led_off(void)
/** toggle board LED */
void led_toggle(void)
{
gpio_toggle(LED_PORT, LED_PIN);
gpio_toggle(GPIO_PORT[LED_PORT], GPIO_PIN(LED_PIN));
}
void board_setup(void)