Diff: rtx/TARGET_ARM7/RTX_Conf_CM.c

Revision:

107:bdd541595fc5

Parent:

80:2dab120a94c2

Child:

123:58563e6cba1e

--- a/rtx/TARGET_ARM7/RTX_Conf_CM.c	Wed Mar 02 11:30:15 2016 +0000
+++ b/rtx/TARGET_ARM7/RTX_Conf_CM.c	Tue Mar 15 09:00:39 2016 +0000
@@ -204,17 +204,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();
 }
 
 /*----------------------------------------------------------------------------