basic rtos example

Revision:
10:dc33cd3f4eb9
Parent:
9:dd58814e2dcf
--- a/main.cpp	Thu Jan 12 23:21:50 2017 +0000
+++ b/main.cpp	Thu Jan 12 23:35:40 2017 +0000
@@ -7,7 +7,7 @@
 void led2_thread() {
     while (true) {
         led2 = !led2;
-        wait(1000);
+        wait(1);
     }
 }
  
@@ -16,6 +16,6 @@
     
     while (true) {
         led1 = !led1;
-        wait(500);
+        wait(0.5);
     }
 }