the changes on the rtos to adapt the wifi

Fork of mbed-rtos by mbed official

Revision:
21:90ff8157f1d2
Parent:
20:991c4c00af93
Child:
22:da8c5ccc2f9c
diff -r 991c4c00af93 -r 90ff8157f1d2 rtx/RTX_Conf_CM.c
--- a/rtx/RTX_Conf_CM.c	Wed Mar 19 16:00:29 2014 +0000
+++ b/rtx/RTX_Conf_CM.c	Thu Mar 20 15:45:22 2014 +0000
@@ -53,6 +53,8 @@
 #    define OS_TASKCNT         14
 #  elif defined(TARGET_LPC11U24) || defined(TARGET_LPC11U35_401)  || defined(TARGET_LPC11U35_501) || defined(TARGET_LPC1114) || defined(TARGET_LPC812) || defined(TARGET_KL25Z) || defined(TARGET_STM32F100RB)
 #    define OS_TASKCNT         6
+#  else
+#    error "no target defined"
 #  endif
 #endif
 
@@ -62,6 +64,8 @@
 #      define OS_SCHEDULERSTKSIZE    256
 #  elif defined(TARGET_LPC11U24) || defined(TARGET_LPC11U35_401)  || defined(TARGET_LPC11U35_501) || defined(TARGET_LPC1114) || defined(TARGET_LPC812) || defined(TARGET_KL25Z) || defined(TARGET_STM32F100RB)
 #      define OS_SCHEDULERSTKSIZE    128
+#  else
+#    error "no target defined"
 #  endif
 #endif
 
@@ -118,6 +122,9 @@
 
 #  elif defined(TARGET_LPC4088)
 #    define OS_CLOCK       120000000
+
+#  else
+#    error "no target defined"
 #  endif
 #endif