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: platform/platform.h

Revision:
138:093f2bd7b9eb
Parent:
128:9bcdf88f62b0
--- a/platform/platform.h	Tue Feb 28 16:44:21 2017 +0000
+++ b/platform/platform.h	Tue Mar 14 16:20:51 2017 +0000
@@ -24,6 +24,8 @@
 #include <cstdio>
 #include <cstring>
 
+#include "platform/mbed_retarget.h"
+#include "platform/mbed_toolchain.h"
 #include "device.h"
 #include "PinNames.h"
 #include "PeripheralNames.h"