Diff: targets/TARGET_NUVOTON/mbed_rtx.h

Revision:

167:e84263d55307

Parent:

149:156823d33999

Child:

172:7d866c31b3c5

--- a/targets/TARGET_NUVOTON/mbed_rtx.h	Thu Jun 08 15:02:37 2017 +0100
+++ b/targets/TARGET_NUVOTON/mbed_rtx.h	Wed Jun 21 17:46:44 2017 +0100
@@ -17,17 +17,9 @@
 #ifndef MBED_MBED_RTX_H
 #define MBED_MBED_RTX_H
 
-#if defined(TARGET_NUMAKER_PFM_NUC472)
+#include <stdint.h>
 
-#ifndef OS_TASKCNT
-#define OS_TASKCNT              14
-#endif
-#ifndef OS_MAINSTKSIZE
-#define OS_MAINSTKSIZE          256
-#endif
-#ifndef OS_CLOCK
-#define OS_CLOCK                84000000
-#endif
+#if defined(TARGET_NUMAKER_PFM_NUC472)
 
 #if defined(__CC_ARM)
     extern uint32_t               Image$$ARM_LIB_HEAP$$ZI$$Base[];
@@ -55,16 +47,6 @@
 
 #elif defined(TARGET_NUMAKER_PFM_M453)
 
-#ifndef OS_TASKCNT
-#define OS_TASKCNT              14
-#endif
-#ifndef OS_MAINSTKSIZE
-#define OS_MAINSTKSIZE          256
-#endif
-#ifndef OS_CLOCK
-#define OS_CLOCK                72000000
-#endif
-
 #if defined(__CC_ARM)
     extern uint32_t               Image$$ARM_LIB_HEAP$$ZI$$Base[];
     extern uint32_t               Image$$ARM_LIB_HEAP$$ZI$$Length[];