SafeDetect / Mbed OS tx_serial_from_pi

this works for reading in data from pi via usb

Diff: main.cpp

Revision:
1:846c97078558
Parent:
0:2757d7abb7d9
Child:
8:bb09890333fe
--- a/main.cpp	Thu Jul 28 13:52:35 2016 +0100
+++ b/main.cpp	Thu Jul 28 16:32:52 2016 +0100
@@ -2,20 +2,13 @@
 #include "rtos.h"
 
 DigitalOut led1(LED1);
-DigitalOut led2(LED2);
 
-void led2_thread(void const *args) {
-    while (true) {
-        led2 = !led2;
-        Thread::wait(1000);
-    }
-}
-
+// main() runs in its own thread in the OS
+// (note the calls to Thread::wait below for delays)
 int main() {
-    Thread thread(led2_thread);
-
     while (true) {
         led1 = !led1;
         Thread::wait(500);
     }
 }
+