Modified by Osama Ashaikh

Fork of mbed-rtos by mbed official

Revision:
107:bdd541595fc5
Parent:
106:dfc27975e193
Child:
108:ac4f3830f9ff
--- a/rtx/TARGET_CORTEX_M/RTX_Conf_CM.c	Wed Mar 02 11:30:15 2016 +0000
+++ b/rtx/TARGET_CORTEX_M/RTX_Conf_CM.c	Tue Mar 15 09:00:39 2016 +0000
@@ -305,17 +305,12 @@
 /*----------------------------------------------------------------------------
  *      OS Idle daemon
  *---------------------------------------------------------------------------*/
-void os_idle_demon (void) {
-  /* The idle demon is a system thread, running when no other thread is      */
-  /* ready to run.                                                           */
+extern void rtos_idle_loop(void);
 
-  /* Sleep: ideally, we should put the chip to sleep.
-     Unfortunately, this usually requires disconnecting the interface chip (debugger).
-     This can be done, but it would break the local file system.
-  */
-  for (;;) {
-      // sleep();
-  }
+void os_idle_demon (void) {
+    /* The idle demon is a system thread, running when no other thread is      */
+    /* ready to run.                                                           */
+    rtos_idle_loop();
 }
 
 /*----------------------------------------------------------------------------