diff -r 8f2be7aaec00 -r 424d792fea4f mbed_app.json
--- a/mbed_app.json	Thu Oct 15 01:12:31 2020 +0200
+++ b/mbed_app.json	Fri Oct 16 22:08:47 2020 +0200
@@ -1,7 +1,13 @@
 {
-    "requires": [],
     "target_overrides": {
       "*": {
+        "platform.callback-nontrivial": true
+      },
+      "nucleo_f303re": {
+        "target.c_lib": "small",
+        "target.printf_lib": "minimal-printf",
+        "platform.minimal-printf-enable-floating-point": false,
+        "platform.stdio-minimal-console-only": true
       }
     }
 }