Important changes to repositories hosted on mbed.com
Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.
To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.
It is also possible to export all your personal repositories from the account settings page.
Dependents: hello SerialTestv11 SerialTestv12 Sierpinski ... more
Diff: InterruptManager.h
- Revision:
- 123:b0220dba8be7
- Parent:
- 122:f9eeca106725
--- a/InterruptManager.h Thu Jul 07 14:34:11 2016 +0100
+++ b/InterruptManager.h Fri Aug 12 13:04:35 2016 +0200
@@ -1,10 +1,9 @@
#ifndef MBED_INTERRUPTMANAGER_H
#define MBED_INTERRUPTMANAGER_H
-#include "platform.h"
-
#include "cmsis.h"
#include "CallChain.h"
+#include "PlatformMutex.h"
#include <string.h>
namespace mbed {
