Diff: platform/mbed_lib.json

Revision:

184:08ed48f1de7f

Parent:

180:96ed750bd169

Child:

186:707f6e361f3e

diff -r 5166a824ec1a -r 08ed48f1de7f platform/mbed_lib.json
--- a/platform/mbed_lib.json	Tue Mar 20 17:01:51 2018 +0000
+++ b/platform/mbed_lib.json	Thu Apr 19 17:12:19 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
         },