mbed library sources. Supersedes mbed-src.

Dependents:   Nucleo_Hello_Encoder BLE_iBeaconScan AM1805_DEMO DISCO-F429ZI_ExportTemplate1 ... more

Revision:
186:707f6e361f3e
Parent:
160:d5399cc887bb
--- a/targets/TARGET_NXP/TARGET_LPC408X/sleep.c	Thu Apr 19 17:12:19 2018 +0100
+++ b/targets/TARGET_NXP/TARGET_LPC408X/sleep.c	Fri Jun 22 16:45:37 2018 +0100
@@ -19,12 +19,13 @@
 
 void hal_sleep(void) {
     LPC_SC->PCON = 0x0;
-    
+
     // SRC[SLEEPDEEP] set to 0 = sleep
     SCB->SCR &= ~SCB_SCR_SLEEPDEEP_Msk;
-    
+
     // wait for interrupt
     __WFI();
+    __NOP();
 }
 
 /*