SafeDetect / Mbed OS tx_serial_from_pi

this works for reading in data from pi via usb

Diff: main.cpp

Revision:
8:bb09890333fe
Parent:
1:846c97078558
Child:
22:af9dcf379926
diff -r 313938df05aa -r bb09890333fe main.cpp
--- a/main.cpp	Fri Aug 05 06:00:05 2016 +0100
+++ b/main.cpp	Sat Aug 06 20:30:05 2016 +0100
@@ -1,5 +1,4 @@
 #include "mbed.h"
-#include "rtos.h"
 
 DigitalOut led1(LED1);