Modified by Osama Ashaikh
Fork of mbed-rtos by
Diff: rtx/TARGET_CORTEX_A/RTX_Conf_CA.c
- 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
