Emilio Monti / mbed-KL25Z

mbed libraries for KL25Z

Dependents:   FRDM_RGBLED

Diff: platform.h

Revision:
8:c14af7958ef5
Parent:
7:73c5efe92a6c
Child:
9:663789d7729f
--- a/platform.h	Tue Oct 23 09:20:18 2012 +0000
+++ b/platform.h	Fri Nov 09 11:33:53 2012 +0000
@@ -4,7 +4,15 @@
 #ifndef MBED_PLATFORM_H
 #define MBED_PLATFORM_H
 
-#define MBED_RPC          1
 #define MBED_OPERATORS    1
 
+#include "device.h"
+#include "PinNames.h"
+#include "PeripheralNames.h"
+
+#include <cstddef>
+#include <cstdlib>
+#include <cstdio>
+#include <cstring>
+
 #endif