This is a sample to make sleep without using OS.

Dependencies:   mbed

Revision:
1:ec156833bab2
Parent:
0:19a3b76f6ca9
--- a/main.cpp	Fri Nov 18 08:50:00 2016 +0000
+++ b/main.cpp	Fri Nov 18 09:46:33 2016 +0000
@@ -15,7 +15,9 @@
 
     while (true) {
         // Transition to Sleep Mode
-        __WFI();
+        __SEV();
+        __WFE();
+        __WFE();
         led1 = !led1;
         printf("%d\n", test_cnt++);
     }