mbed SDK library sources

Fork of mbed-src by mbed official

Development branch of the mbed library sources. This library is kept in synch with the latest changes from the mbed SDK and it is not guaranteed to work.

If you are looking for a stable and tested release, please import one of the official mbed library releases:

Import librarymbed

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

Revision:
6:6dfdb79ccc45
Parent:
4:c4bfb462ca53
--- a/capi/us_ticker_api.c	Fri Mar 15 17:00:57 2013 +0000
+++ b/capi/us_ticker_api.c	Mon Mar 18 10:36:46 2013 +0000
@@ -15,6 +15,7 @@
  */
 #include <stddef.h>
 #include "us_ticker_api.h"
+#include "cmsis.h"
 
 static ticker_event_handler event_handler;
 static ticker_event_t *head = NULL;