mbed official
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.
Last commit 20 Feb 2019 by 
mbed official
Diff: common/board.c
- Revision:
- 228:85a676113daa
- Parent:
- 221:8276e3a4886f
- Child:
- 604:19d487c995ec
--- a/common/board.c Wed Jun 11 16:00:09 2014 +0100
+++ b/common/board.c Thu Jun 12 10:15:07 2014 +0100
@@ -16,8 +16,8 @@
#include "gpio_api.h"
#include "wait_api.h"
#include "toolchain.h"
+#include "mbed_interface.h"
-WEAK void mbed_die(void);
WEAK void mbed_die(void) {
#ifndef NRF51_H
__disable_irq(); // dont allow interrupts to disturb the flash pattern
