mbed library sources

Dependents:   Encrypted my_mbed lklk CyaSSL_DTLS_Cellular ... more

Superseded

This library was superseded by mbed-dev - https://os.mbed.com/users/mbed_official/code/mbed-dev/.

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:
604:19d487c995ec
Parent:
228:85a676113daa
--- a/common/board.c	Thu Aug 13 10:30:09 2015 +0100
+++ b/common/board.c	Thu Aug 13 11:00:09 2015 +0100
@@ -19,7 +19,7 @@
 #include "mbed_interface.h"
 
 WEAK void mbed_die(void) {
-#ifndef NRF51_H
+#if !defined (NRF51_H) && !defined(TARGET_EFM32)
 	__disable_irq();	// dont allow interrupts to disturb the flash pattern
 #endif
 #if   (DEVICE_ERROR_RED == 1)