SafeDetect / Mbed OS tx_serial_from_pi

this works for reading in data from pi via usb

Diff: main.cpp

Revision:
100:ec006d6f3cb6
Parent:
98:f2d7e14c84a1
Child:
102:630e8252eabf
Child:
105:6979ad8bc0bc
--- a/main.cpp	Tue Oct 01 11:00:04 2019 +0100
+++ b/main.cpp	Mon Oct 14 14:00:04 2019 +0100
@@ -4,7 +4,7 @@
  */
 
 #include "mbed.h"
-#include "ThisThread.h"
+#include "platform/mbed_thread.h"
 #include "stats_report.h"
 
 DigitalOut led1(LED1);
@@ -21,7 +21,7 @@
     while (true) {
         // Blink LED and wait 0.5 seconds
         led1 = !led1;
-        ThisThread::sleep_for(SLEEP_TIME);
+        thread_sleep_for(SLEEP_TIME);
 
         if ((0 == count) || (PRINT_AFTER_N_LOOPS == count)) {
             // Following the main thread wait, report on the current system status