Abdessamad El Abbassi / mbed-rtos_F401

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

Revision 23:c2779d329e1c, committed 2014-03-21

Comitter:
mbed_official
Date:
Fri Mar 21 14:00:19 2014 +0000
Parent:
22:da8c5ccc2f9c
Child:
24:4e0e79c9b976
Commit message:
Synchronized with git revision 60d326e241c7fe1ae3dfea94947efae58d9122b2

Full URL: https://github.com/mbedmicro/mbed/commit/60d326e241c7fe1ae3dfea94947efae58d9122b2/

[STM32F407][LPC4088][GCC_ARM] Fixed compilation error.

Changed in this revision

rtx/RTX_CM_lib.h Show annotated file Show diff for this revision Revisions of this file
rtx/RTX_Conf_CM.c Show annotated file Show diff for this revision Revisions of this file 
--- a/rtx/RTX_CM_lib.h	Fri Mar 21 11:45:21 2014 +0000
+++ b/rtx/RTX_CM_lib.h	Fri Mar 21 14:00:19 2014 +0000
@@ -229,6 +229,9 @@
 #elif defined(TARGET_STM32F100RB) || defined(TARGET_STM32F051R8)
 #define INITIAL_SP            (0x20002000UL)
 
+#elif defined(TARGET_STM32F407)
+#define INITIAL_SP            (0x20020000UL)
+
 #else
 #error "no target defined"
 

--- a/rtx/RTX_Conf_CM.c	Fri Mar 21 11:45:21 2014 +0000
+++ b/rtx/RTX_Conf_CM.c	Fri Mar 21 14:00:19 2014 +0000
@@ -49,7 +49,7 @@
 //       counting "main", but not counting "osTimerThread"
 //   <i> Default: 6
 #ifndef OS_TASKCNT
-#  if defined(TARGET_LPC1768) || defined(TARGET_LPC2368) || defined(TARGET_LPC4088) || defined(TARGET_LPC1347) || defined(TARGET_KL46Z)
+#  if defined(TARGET_LPC1768) || defined(TARGET_LPC2368) || defined(TARGET_LPC4088) || defined(TARGET_LPC1347) || defined(TARGET_KL46Z) || defined(TARGET_STM32F407)
 #    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) || defined(TARGET_STM32F051R8)
 #    define OS_TASKCNT         6
@@ -60,7 +60,7 @@
 
 //   <o>Scheduler (+ interrupts) stack size [bytes] <64-4096:8><#/4>
 #ifndef OS_SCHEDULERSTKSIZE
-#  if defined(TARGET_LPC1768) || defined(TARGET_LPC2368) || defined(TARGET_LPC4088) || defined(TARGET_LPC1347) || defined(TARGET_KL46Z)
+#  if defined(TARGET_LPC1768) || defined(TARGET_LPC2368) || defined(TARGET_LPC4088) || defined(TARGET_LPC1347) || defined(TARGET_KL46Z) || defined(TARGET_STM32F407)
 #      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)  || defined(TARGET_STM32F051R8)
 #      define OS_SCHEDULERSTKSIZE    128
@@ -123,6 +123,9 @@
 #  elif defined(TARGET_LPC4088)
 #    define OS_CLOCK       120000000
 
+#  elif defined(TARGET_STM32F407)
+#    define OS_CLOCK       168000000
+
 #  else
 #    error "no target defined"
 #  endif