Marco Zecchini
/
Example_RTOS
Rtos API example
Diff: mbed-os/platform/mbed_lib.json
- Revision:
- 0:9fca2b23d0ba
diff -r 000000000000 -r 9fca2b23d0ba mbed-os/platform/mbed_lib.json --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/mbed-os/platform/mbed_lib.json Sat Feb 23 12:13:36 2019 +0000 @@ -0,0 +1,37 @@ +{ + "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 + }, + + "force-non-copyable-error": { + "help": "Force compile time error when a NonCopyable object is copied", + "value": false + } + }, + "target_overrides": { + "EFM32": { + "stdio-baud-rate": 115200 + }, + "EFR32": { + "stdio-baud-rate": 115200 + } + } +}