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_NUCLEO_F031K6/TARGET_STM/mbed_rtx.h
- Revision:
- 169:a7c7b631e539
- Parent:
- 167:84c0a372a020
- Child:
- 170:e95d10626187
diff -r b9e159c1930a -r a7c7b631e539 TARGET_NUCLEO_F031K6/TARGET_STM/mbed_rtx.h --- a/TARGET_NUCLEO_F031K6/TARGET_STM/mbed_rtx.h Thu May 24 15:35:55 2018 +0100 +++ b/TARGET_NUCLEO_F031K6/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)