hook os_idle_demon

Fork of mbed-rtos by mbed official

Revision:
16:0a6b48963081
Parent:
14:ee87e782d34f
--- a/rtx/RTX_Conf_CM.c	Tue Nov 19 09:00:05 2013 +0000
+++ b/rtx/RTX_Conf_CM.c	Fri Jan 17 09:10:29 2014 +0000
@@ -210,6 +210,7 @@
 /*----------------------------------------------------------------------------
  *      OS Idle daemon
  *---------------------------------------------------------------------------*/
+__attribute__ ((weak))
 void os_idle_demon (void) {
   /* The idle demon is a system thread, running when no other thread is      */
   /* ready to run.                                                           */