Diff: mbed-dev-master/platform/mbed_lib.json

Revision:

0:bb348c97df44

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mbed-dev-master/platform/mbed_lib.json	Wed Sep 16 01:11:49 2020 +0000
@@ -0,0 +1,77 @@
+{
+    "name": "platform",
+    "config": {
+        "stdio-convert-newlines": {
+            "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
+        },
+
+        "stdio-baud-rate": {
+            "help": "Baud rate for stdio",
+            "value": 9600
+        },
+
+        "stdio-flush-at-exit": {
+            "help": "Enable or disable the flush of standard I/O's at exit.",
+            "value": true
+        },
+
+        "default-serial-baud-rate": {
+            "help": "Default baud rate for a Serial or RawSerial instance (if not specified in the constructor)",
+            "value": 9600
+        },
+
+        "force-non-copyable-error": {
+            "help": "Force compile time error when a NonCopyable object is copied",
+            "value": false
+        },
+
+        "poll-use-lowpower-timer": {
+            "help": "Enable use of low power timer class for poll(). May cause missing events.",
+            "value": false
+        },
+        
+        "error-hist-enabled": {
+            "help": "Enable for error history tracking.",
+            "value": false
+        },
+        
+        "error-hist-size": {
+            "help": "Set the number of most recent errors the system keeps in its history, needs error-hist-enabled set to true for this to work.",
+            "value": 4
+        },
+        
+        "error-filename-capture-enabled": {
+            "help": "Enables capture of filename and line number as part of error context capture, this works only for debug and develop builds. On release builds, filename capture is always disabled",
+            "value": false
+        },
+        
+        "error-all-threads-info": {
+            "help": "Reports all the threads in the system as part of error report.",
+            "value": false
+        },
+        
+        "max-error-filename-len": {
+            "help": "Sets the maximum length of buffer used for capturing the filename in error context. This needs error-filename-capture-enabled feature.",
+            "value": 16
+        }
+    },
+    "target_overrides": {
+        "EFM32": {
+            "stdio-baud-rate": 115200
+        },
+        "EFR32": {
+            "stdio-baud-rate": 115200
+        }
+    }
+}