mbed official / mbed

The official Mbed 2 C/C++ SDK provides the software platform and libraries to build your applications.

Dependents:   hello SerialTestv11 SerialTestv12 Sierpinski ... more

mbed 2

This is the mbed 2 library. If you'd like to learn about Mbed OS please see the mbed-os docs.

Diff: TARGET_SAKURAIO_EVB_01/TARGET_STM/mbed_rtx.h

Revision:
169:a7c7b631e539
Parent:
167:84c0a372a020
Child:
170:e95d10626187
--- a/TARGET_SAKURAIO_EVB_01/TARGET_STM/mbed_rtx.h	Thu May 24 15:35:55 2018 +0100
+++ b/TARGET_SAKURAIO_EVB_01/TARGET_STM/mbed_rtx.h	Fri Jun 22 15:38:59 2018 +0100
@@ -17,6 +17,8 @@
 #ifndef MBED_MBED_RTX_H
 #define MBED_MBED_RTX_H
 
+#include <stdint.h>
+
 #ifndef INITIAL_SP
 
 #if (defined(TARGET_STM32L475VG) ||\
@@ -98,6 +100,7 @@
 
 #elif (defined(TARGET_STM32F429ZI) ||\
        defined(TARGET_STM32F437VG) ||\
+       defined(TARGET_STM32F439VI) ||\
        defined(TARGET_STM32F439ZI))
 #define INITIAL_SP              (0x20030000UL)