the changes on the rtos to adapt the wifi

Fork of mbed-rtos by mbed official

Revision:
12:58b30ac3f00e
Parent:
11:db1fc233faa9
Child:
13:869ef732a8a2
diff -r db1fc233faa9 -r 58b30ac3f00e rtx/RTX_Conf_CM.c
--- a/rtx/RTX_Conf_CM.c	Tue Apr 30 10:51:19 2013 +0000
+++ b/rtx/RTX_Conf_CM.c	Thu May 30 17:08:58 2013 +0100
@@ -49,7 +49,7 @@
 //       counting "main", but not counting "osTimerThread"
 //   <i> Default: 6
 #ifndef OS_TASKCNT
-#  if defined(TARGET_LPC1768) || defined(TARGET_LPC2368)
+#  if defined(TARGET_LPC1768) || defined(TARGET_LPC2368) || defined(TARGET_LPC4088)
 #    define OS_TASKCNT         14
 #  elif defined(TARGET_LPC11U24) || defined(TARGET_KL25Z)
 #    define OS_TASKCNT         6
@@ -58,7 +58,7 @@
 
 //   <o>Scheduler (+ interrupts) stack size [bytes] <64-4096:8><#/4>
 #ifndef OS_SCHEDULERSTKSIZE
-#  if defined(TARGET_LPC1768) || defined(TARGET_LPC2368)
+#  if defined(TARGET_LPC1768) || defined(TARGET_LPC2368) || defined(TARGET_LPC4088)
 #      define OS_SCHEDULERSTKSIZE    256
 #  elif defined(TARGET_LPC11U24) || defined(TARGET_KL25Z)
 #      define OS_SCHEDULERSTKSIZE    128
@@ -106,6 +106,9 @@
 
 #  elif defined(TARGET_LPC11U24) || defined(TARGET_KL25Z)
 #    define OS_CLOCK       48000000
+#
+#  elif defined(TARGET_LPC4088)
+#    define OS_CLOCK       120000000
 #  endif
 #endif