diff -r b4658776abb6 -r 9ffa9d727d80 platformio.ini
--- a/platformio.ini	Tue Dec 05 00:59:57 2017 +0100
+++ b/platformio.ini	Mon Nov 05 23:18:37 2018 +0100
@@ -21,17 +21,19 @@
 platform = ststm32
 framework = mbed
 board = nucleo_f446re
-upload_port = /media/sdb
-build_flags = -DHAVE_PC
-lib_compat_mode = 0
+#upload_port = /media/sdb
+#build_flags = -DHAVE_PC --verbose
+#lib_compat_mode = 0
+build_flags = -DHAVE_PC -DPIO_FRAMEWORK_MBED_RTOS_PRESENT
 
 [env:l432kc]
 platform = ststm32
 framework = mbed
 board = nucleo_l432kc
-upload_port = /media/sdb
-lib_compat_mode = 0
-build_flags = -DHAVE_PC
+#upload_port = /media/sdb
+#lib_compat_mode = 0
+#build_flags = -DHAVE_PC
+build_flags = -DHAVE_PC -DPIO_FRAMEWORK_MBED_RTOS_PRESENT
 
 # [env:nucleo_f031k6]
 # platform = ststm31