diff --git a/libraries/mbed/common/InterruptManager.cpp b/libraries/mbed/common/InterruptManager.cpp
index 59ce56b94d..e92fb68d4e 100644
--- a/libraries/mbed/common/InterruptManager.cpp
+++ b/libraries/mbed/common/InterruptManager.cpp
@@ -1,3 +1,6 @@
+#include "cmsis.h"
+#if defined(NVIC_NUM_VECTORS)
+
 #include "InterruptManager.h"
 #include <string.h>
 
@@ -87,3 +90,4 @@ void InterruptManager::static_irq_helper() {
 
 } // namespace mbed
 
+#endif