Diff: targets/TARGET_Silicon_Labs/mbed_rtx.h

Revision:

168:e84263d55307

Parent:

161:2cc1468da177

--- a/targets/TARGET_Silicon_Labs/mbed_rtx.h	Thu Jun 08 15:02:37 2017 +0100
+++ b/targets/TARGET_Silicon_Labs/mbed_rtx.h	Wed Jun 21 17:46:44 2017 +0100
@@ -17,117 +17,51 @@
 #ifndef MBED_MBED_RTX_H
 #define MBED_MBED_RTX_H
 
+#include <stdint.h>
 #include "clocking.h"
 
-#ifndef OS_CLOCK
-#define OS_CLOCK                  REFERENCE_FREQUENCY
-#endif
-
-#if defined(__CC_ARM)
-extern uint32_t HEAP$$Base;
-extern uint32_t HEAP$$Limit;
-extern uint32_t STACK$$Limit;
-extern uint32_t STACK$$Base;
-#ifndef INITIAL_SP
-#define INITIAL_SP            ((uint32_t)&STACK$$Limit)
-#endif
-#define ISR_STACK_START       ((uint32_t)&STACK$$Base)
-#define ISR_STACK_SIZE        ((uint32_t) ((uint32_t)&STACK$$Limit - (uint32_t)&STACK$$Base))
-#define HEAP_START            ((unsigned char*) ((uint32_t)&HEAP$$Base))
-#define HEAP_SIZE             ((uint32_t) ((uint32_t)&HEAP$$Limit - (uint32_t)&HEAP$$Base))
-#endif
-
 #if defined(TARGET_EFM32GG_STK3700)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20020000UL)
 #endif
 
-#ifndef OS_TASKCNT
-#define OS_TASKCNT              14
-#endif
-#ifndef OS_MAINSTKSIZE
-#define OS_MAINSTKSIZE          256
-#endif
-
 #elif defined(TARGET_EFM32HG_STK3400)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20002000UL)
 #endif
 
-#ifndef OS_TASKCNT
-#define OS_TASKCNT              6
-#endif
-#ifndef OS_MAINSTKSIZE
-#define OS_MAINSTKSIZE          112
-#endif
-
 #elif defined(TARGET_EFM32LG_STK3600)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20008000UL)
 #endif
 
-#ifndef OS_TASKCNT
-#define OS_TASKCNT              14
-#endif
-#ifndef OS_MAINSTKSIZE
-#define OS_MAINSTKSIZE          128
-#endif
-
 #elif defined(TARGET_EFM32PG_STK3401)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20008000UL)
 #endif
 
-#ifndef OS_TASKCNT
-#define OS_TASKCNT              14
-#endif
-#ifndef OS_MAINSTKSIZE
-#define OS_MAINSTKSIZE          128
-#endif
-
 #elif defined(TARGET_EFM32WG_STK3800)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20008000UL)
 #endif
 
-#ifndef OS_TASKCNT
-#define OS_TASKCNT              14
-#endif
-#ifndef OS_MAINSTKSIZE
-#define OS_MAINSTKSIZE          128
-#endif
-
 #elif defined(TARGET_EFR32MG1)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20007C00UL)
 #endif
 
-#ifndef OS_TASKCNT
-#define OS_TASKCNT              5
-#endif
-#ifndef OS_MAINSTKSIZE
-#define OS_MAINSTKSIZE          256
-#endif
-
 #elif defined(TARGET_EFR32MG12) || defined(TARGET_EFM32PG12)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20040000UL)
 #endif
 
-#ifndef OS_TASKCNT
-#define OS_TASKCNT              14
-#endif
-#ifndef OS_MAINSTKSIZE
-#define OS_MAINSTKSIZE          256
-#endif
-
 #endif
 
 #endif  // MBED_MBED_RTX_H