Maintain legacy RTOS behavior before mbed-5

Fork of mbed-rtos by mbed official

Revision:
107:bdd541595fc5
Parent:
85:ef0a22cdf839
Child:
109:3b7dd22a5b25
--- a/rtx/TARGET_CORTEX_A/RTX_Conf_CA.c	Wed Mar 02 11:30:15 2016 +0000
+++ b/rtx/TARGET_CORTEX_A/RTX_Conf_CA.c	Tue Mar 15 09:00:39 2016 +0000
@@ -223,14 +223,12 @@
  *---------------------------------------------------------------------------*/
 
 /*--------------------------- os_idle_demon ---------------------------------*/
+extern void rtos_idle_loop(void);
 
 void os_idle_demon (void) {
   /* The idle demon is a system thread, running when no other thread is      */
   /* ready to run.                                                           */
-
-  for (;;) {
-    /* HERE: include optional user code to be executed when no thread runs.*/
-  }
+  rtos_idle_loop();
 }
 
 #if (OS_SYSTICK == 0)   // Functions for alternative timer as RTX kernel timer