{ "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 } } }