Diff: targets/TARGET_NORDIC/mbed_rtx.h

Revision:

168:e84263d55307

Parent:

162:e13f6fdb2ac4

Child:

170:e3b6fe271b81

diff -r c97ed07ec1a8 -r e84263d55307 targets/TARGET_NORDIC/mbed_rtx.h
--- a/targets/TARGET_NORDIC/mbed_rtx.h	Thu Jun 08 15:02:37 2017 +0100
+++ b/targets/TARGET_NORDIC/mbed_rtx.h	Wed Jun 21 17:46:44 2017 +0100
@@ -27,15 +27,6 @@
 #   endif
 #endif
 
-#ifndef OS_TASKCNT
-#define OS_TASKCNT              6
-#endif
-#ifndef OS_MAINSTKSIZE
-#define OS_MAINSTKSIZE          512
-#endif
-#ifndef OS_CLOCK
-#define OS_CLOCK                32768
-#endif
 #ifndef OS_SYSTICK
 #define OS_SYSTICK              0
 #endif
@@ -45,30 +36,15 @@
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20010000UL)
 #endif
-#ifndef OS_TASKCNT
-#define OS_TASKCNT              6
-#endif
-#ifndef OS_MAINSTKSIZE
-#define OS_MAINSTKSIZE          512
-#endif
-#ifndef OS_CLOCK
-#define OS_CLOCK                64000000
-#endif
 
 #elif defined(TARGET_MCU_NRF52840)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20040000UL)
 #endif
-#ifndef OS_TASKCNT
-#define OS_TASKCNT              24
-#endif
-#ifndef OS_MAINSTKSIZE
-#define OS_MAINSTKSIZE          2048
-#endif
-#ifndef OS_CLOCK
-#define OS_CLOCK                64000000
-#endif
+
+// More than 256 bytes are needed for the idle thread stack on the NRF52840
+#define OS_IDLE_THREAD_STACK_SIZE  512
 
 #endif // defined(TARGET_MCU_NRF51822)...