This is a sample to make sleep without using OS.

Dependencies:   mbed

Revision:
0:19a3b76f6ca9
Child:
1:ec156833bab2
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main.cpp	Fri Nov 18 08:50:00 2016 +0000
@@ -0,0 +1,22 @@
+#include "mbed.h"
+
+InterruptIn button(USER_BUTTON0);
+DigitalOut led1(LED1);
+
+static void interrupt_button(void) {
+    // do nothing
+}
+
+int main() {
+    int test_cnt = 0;
+
+    button.fall(&interrupt_button);
+    button.rise(&interrupt_button);
+
+    while (true) {
+        // Transition to Sleep Mode
+        __WFI();
+        led1 = !led1;
+        printf("%d\n", test_cnt++);
+    }
+}