mbed libraries for KL25Z

Dependents:   FRDM_RGBLED

Revision:
9:663789d7729f
Parent:
8:c14af7958ef5
--- a/mbed.h	Fri Nov 09 11:33:53 2012 +0000
+++ b/mbed.h	Mon Feb 18 09:41:56 2013 +0000
@@ -1,15 +1,26 @@
 /* mbed Microcontroller Library
- * Copyright (c) 2006-2011 ARM Limited. All rights reserved.
+ * Copyright (c) 2006-2013 ARM Limited
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
  */
 #ifndef MBED_H
 #define MBED_H
 
-#define MBED_LIBRARY_VERSION 29
- 
+#define MBED_LIBRARY_VERSION 30
+
+#include "platform.h"
+
 // Useful C libraries
-#include <stdio.h>
-#include <stdlib.h>
-#include <string.h>
 #include <math.h>
 #include <time.h>
 
@@ -31,10 +42,8 @@
 #include "AnalogOut.h"
 #include "PwmOut.h"
 #include "Serial.h"
-#include "SerialHalfDuplex.h"
 #include "SPI.h"
 #include "SPISlave.h"
-#include "SPIHalfDuplex.h"
 #include "I2C.h"
 #include "I2CSlave.h"
 #include "Ethernet.h"
@@ -47,6 +56,7 @@
 #include "LocalFileSystem.h"
 #include "InterruptIn.h"
 #include "wait_api.h"
+#include "sleep_api.h"
 #include "rtc_time.h"
 
 using namespace mbed;