+
+void debug_led(bool light)
+{
+#ifdef DEBUG_LED_GPIO
+#ifdef DEBUG_LED_INVERSE
+ light = !light;
+#endif
+ if (light)
+ gpio_set(DEBUG_LED_GPIO, DEBUG_LED_PIN);
+ else
+ gpio_clear(DEBUG_LED_GPIO, DEBUG_LED_PIN);
+#endif
+}
+
+void debug_led_toggle(void)
+{
+#ifdef DEBUG_LED_GPIO
+ gpio_toggle(DEBUG_LED_GPIO, DEBUG_LED_PIN);
+#endif
+}