aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--os/ext/CMSIS/include/core_cmInstr.h5
-rw-r--r--os/hal/ports/STM32/STM32F7xx/hal_lld.h6
2 files changed, 8 insertions, 3 deletions
diff --git a/os/ext/CMSIS/include/core_cmInstr.h b/os/ext/CMSIS/include/core_cmInstr.h
index c8e045f56..de9f870fc 100644
--- a/os/ext/CMSIS/include/core_cmInstr.h
+++ b/os/ext/CMSIS/include/core_cmInstr.h
@@ -45,6 +45,11 @@
@{
*/
+/* CHIBIOS FIX */
+#if !defined(__CORTEX_SC)
+#define __CORTEX_SC 0
+#endif
+
#if defined ( __CC_ARM ) /*------------------RealView Compiler -----------------*/
/* ARM armcc specific functions */
diff --git a/os/hal/ports/STM32/STM32F7xx/hal_lld.h b/os/hal/ports/STM32/STM32F7xx/hal_lld.h
index b542914b3..23ea7e424 100644
--- a/os/hal/ports/STM32/STM32F7xx/hal_lld.h
+++ b/os/hal/ports/STM32/STM32F7xx/hal_lld.h
@@ -52,13 +52,13 @@
* @{
*/
#if defined(STM32F745xx) || defined(__DOXYGEN__)
-#define PLATFORM_NAME "STM32F439 High Performance with DSP and FPU"
+#define PLATFORM_NAME "STM32F745 Very High Performance with DSP and FPU"
#elif defined(STM32F746xx)
-#define PLATFORM_NAME "STM32F429 High Performance with DSP and FPU"
+#define PLATFORM_NAME "STM32F746 Very High Performance with DSP and FPU"
#elif defined(STM32F756xx)
-#define PLATFORM_NAME "STM32F437 High Performance with DSP and FPU"
+#define PLATFORM_NAME "STM32F756 Very High Performance with DSP and FPU"
#else
#error "STM32F7xx device not specified"