|
@@ -111,6 +111,30 @@ void *sbrk (ptrdiff_t increment)
|
|
return ((void *) old);
|
|
return ((void *) old);
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+/************************************************************************
|
|
|
|
+ * Coloured LED functionality
|
|
|
|
+ ************************************************************************
|
|
|
|
+ * May be supplied by boards if desired
|
|
|
|
+ */
|
|
|
|
+void inline __coloured_LED_init (void) {}
|
|
|
|
+void inline coloured_LED_init (void) __attribute__((weak, alias("__coloured_LED_init")));
|
|
|
|
+void inline __red_LED_on (void) {}
|
|
|
|
+void inline red_LED_on (void) __attribute__((weak, alias("__red_LED_on")));
|
|
|
|
+void inline __red_LED_off(void) {}
|
|
|
|
+void inline red_LED_off(void) __attribute__((weak, alias("__red_LED_off")));
|
|
|
|
+void inline __green_LED_on(void) {}
|
|
|
|
+void inline green_LED_on(void) __attribute__((weak, alias("__green_LED_on")));
|
|
|
|
+void inline __green_LED_off(void) {}
|
|
|
|
+void inline green_LED_off(void)__attribute__((weak, alias("__green_LED_off")));
|
|
|
|
+void inline __yellow_LED_on(void) {}
|
|
|
|
+void inline yellow_LED_on(void)__attribute__((weak, alias("__yellow_LED_on")));
|
|
|
|
+void inline __yellow_LED_off(void) {}
|
|
|
|
+void inline yellow_LED_off(void)__attribute__((weak, alias("__yellow_LED_off")));
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+
|
|
/************************************************************************
|
|
/************************************************************************
|
|
* Init Utilities *
|
|
* Init Utilities *
|
|
************************************************************************
|
|
************************************************************************
|