Diff: TARGET_NUCLEO_F303RE/mbed_lib.json

Revision:

165:d1b4690b3f8b

Parent:

160:5571c4ff569f

Child:

169:a7c7b631e539

--- a/TARGET_NUCLEO_F303RE/mbed_lib.json	Tue Mar 20 16:15:49 2018 +0000
+++ b/TARGET_NUCLEO_F303RE/mbed_lib.json	Thu Apr 19 14:31:27 2018 +0100
@@ -2,7 +2,17 @@
     "name": "platform",
     "config": {
         "stdio-convert-newlines": {
-            "help": "Enable conversion to standard newlines on stdin/stdout",
+            "help": "Enable conversion to standard newlines on stdin/stdout/stderr",
+            "value": false
+        },
+
+        "stdio-convert-tty-newlines": {
+            "help": "Enable conversion to standard newlines on any tty FILE stream",
+            "value": false
+        },
+
+        "stdio-buffered-serial": {
+            "help": "Use UARTSerial driver to obtain buffered serial I/O on stdin/stdout/stderr. If false, unbuffered serial_getc and serial_putc are used directly.",
             "value": false
         },