SafeDetect / Mbed OS tx_serial_from_pi

this works for reading in data from pi via usb

Diff: main.cpp

Revision:
87:4c31b7ef1391
Parent:
82:abf1b1785bd7
Child:
88:bea4f2daa48c
--- a/main.cpp	Thu Jan 03 13:45:03 2019 +0000
+++ b/main.cpp	Mon Jan 07 12:00:02 2019 +0000
@@ -16,7 +16,7 @@
     while (true) {
         // Blink LED and wait 0.5 seconds
         led1 = !led1;
-        wait(0.5f);
+        wait_ms(500);
 
         // Following the main thread wait, report on the current system status
         sys_state.report_state();