Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard. Support for nucleo F401RE

Dependents:   rtos_basic_stm32_F401

Fork of mbed-rtos by mbed official

Files at this revision

API Documentation at this revision

Comitter:
emilmont
Date:
Mon Jul 23 11:40:13 2012 +0000
Parent:
1:01158bb7600c
Child:
3:4238c328365e
Commit message:
Improve RTOS memory usage

Changed in this revision

RTX_Conf_CM.c Show annotated file Show diff for this revision Revisions of this file
rtx.lib Show annotated file Show diff for this revision Revisions of this file
--- a/RTX_Conf_CM.c	Thu Jul 12 08:26:49 2012 +0000
+++ b/RTX_Conf_CM.c	Mon Jul 23 11:40:13 2012 +0000
@@ -50,25 +50,22 @@
 //   <i> Default: 6
 #ifndef OS_TASKCNT
 #  if defined(TARGET_LPC1768) || defined(TARGET_LPC2368)
-#    define OS_TASKCNT         7
+#    define OS_TASKCNT         14
 #  elif defined(TARGET_LPC11U24)
-#    define OS_TASKCNT         3
+#    define OS_TASKCNT         6
 #  endif
 #endif
 
-//   <o>Number of threads with user-provided stack size <0-250>
-//   The stack of "main" and "osTimerThread" are calculated separately
-//   <i> Defines the number of threads with user-provided stack size.
-//   <i> Default: 0
-#ifndef OS_PRIVCNT
- #define OS_PRIVCNT         (OS_TASKCNT - 1)
+//   <o>Scheduler (+ interrupts) stack size [bytes] <64-4096:8><#/4>
+#ifndef OS_SCHEDULERSTKSIZE
+ #define OS_SCHEDULERSTKSIZE    256
 #endif
 
-//   <o>Default Thread stack size [bytes] <64-4096:8><#/4>
+//   <o>Idle stack size [bytes] <64-4096:8><#/4>
 //   <i> Defines default stack size for threads.
 //   <i> Default: 200
-#ifndef OS_STKSIZE
- #define OS_STKSIZE         WORDS_STACK_SIZE
+#ifndef OS_IDLESTKSIZE
+ #define OS_IDLESTKSIZE         128
 #endif
 
 //   <o>Main Thread stack size [bytes] <64-4096:8><#/4>
--- a/rtx.lib	Thu Jul 12 08:26:49 2012 +0000
+++ b/rtx.lib	Mon Jul 23 11:40:13 2012 +0000
@@ -1,1 +1,1 @@
-http://mbed.org/users/mbed_official/code/rtx/#5a95354ca0a2
+http://mbed.org/users/mbed_official/code/rtx/#e038d1077c8c