Diff: TARGET_NRF51_DK/mbed_lib.json

Revision:

128:9bcdf88f62b0

Child:

132:9baf128c2fab

diff -r 25aea2a3f4e3 -r 9bcdf88f62b0 TARGET_NRF51_DK/mbed_lib.json
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/TARGET_NRF51_DK/mbed_lib.json	Thu Oct 27 16:45:56 2016 +0100
@@ -0,0 +1,29 @@
+{
+    "name": "platform",
+    "config": {
+        "stdio-convert-newlines": {
+            "help": "Enable conversion to standard newlines on stdin/stdout",
+            "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
+        }
+    },
+    "target_overrides": {
+        "EFM32": {
+            "stdio-baud-rate": 115200
+        }
+    }
+}