Mbed 6.4.0+rebase

cores/arduino/Arduino.h

@@ -35,10 +35,10 @@
 #define F Mbed_F
 #endif // !ARDUINO_AS_MBED_LIBRARY
 #include "mbed_config.h"
-#include "mbed/drivers/InterruptIn.h"
-#include "mbed/drivers/PwmOut.h"
-#include "mbed/drivers/AnalogIn.h"
-#include "mbed/drivers/DigitalInOut.h"
+#include "drivers/InterruptIn.h"
+#include "drivers/PwmOut.h"
+#include "drivers/AnalogIn.h"
+#include "drivers/DigitalInOut.h"
 #include "mbed.h"
 #undef F
 #endif //__cplusplus

cores/arduino/Serial.h

@@ -23,7 +23,7 @@
 #include "api/RingBuffer.h"
 #include "Arduino.h"
 #include "api/HardwareSerial.h"
-#include "mbed/drivers/UnbufferedSerial.h"
+#include "drivers/UnbufferedSerial.h"
 
 #ifdef __cplusplus
 

cores/arduino/USB/PluggableUSBSerial.h

@@ -21,7 +21,7 @@
 #include "Arduino.h"
 #include "USBCDC.h"
 #include "platform/Stream.h"
-#include "mbed/rtos/rtos.h"
+#include "rtos/rtos.h"
 #include "Callback.h"
 
 /**

cores/arduino/main.cpp

@@ -36,6 +36,9 @@ int main(void)
 	init();
 	initVariant();
 
+	// we are never going to use getchar/scanf directly
+	mbed::mbed_file_handle(STDIN_FILENO)->enable_input(false);
+
 #if defined(SERIAL_CDC)
   PluggableUSBD().begin();
   SerialUSB.begin(115200);