File content as of revision 172:65be27845400:

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

        "memory-tracing-enabled": {
            "macro_name": "MBED_MEM_TRACING_ENABLED",
            "help": "Enable tracing of each memory call by invoking a callback on each memory operation. See mbed_mem_trace.h in the HAL API for more information",
            "value": null
        },

        "all-stats-enabled": {
            "macro_name": "MBED_ALL_STATS_ENABLED",
            "help": "Set to 1 to enable all platform stats. When enabled the functions mbed_stats_*_get returns non-zero data. See mbed_stats.h for more information",
            "value": null
        },

        "sys-stats-enabled": {
            "macro_name": "MBED_SYS_STATS_ENABLED",
            "help": "Set to 1 to enable system stats. When enabled the function mbed_stats_sys_get returns non-zero data. See mbed_stats.h for more information",
            "value": null
        },

        "stack-stats-enabled": {
            "macro_name": "MBED_STACK_STATS_ENABLED",
            "help": "Set to 1 to enable stack stats. When enabled the functions mbed_stats_stack_get and mbed_stats_stack_get_each return non-zero data. See mbed_stats.h for more information",
            "value": null
        },

        "cpu-stats-enabled": {
            "macro_name": "MBED_CPU_STATS_ENABLED",
            "help": "Set to 1 to enable cpu stats. When enabled the function mbed_stats_cpu_get returns non-zero data. See mbed_stats.h for more information",
            "value": null
        },

        "heap-stats-enabled": {
            "macro_name": "MBED_HEAP_STATS_ENABLED",
            "help": "Set to 1 to enable heap stats. When enabled the function mbed_stats_heap_get returns non-zero data. See mbed_stats.h for more information",
            "value": null
        },

        "thread-stats-enabled": {
            "macro_name": "MBED_THREAD_STATS_ENABLED",
            "help": "Set to 1 to enable thread stats. When enabled the function mbed_stats_thread_get_each returns non-zero data. See mbed_stats.h for more information",
            "value": null
        },

        "error-decode-http-url-str": {
            "help": "HTTP URL string for ARM Mbed-OS Error Decode microsite",
            "value": "\"\\nFor more info, visit: https://armmbed.github.io/mbedos-error/?error=0x%08X\""
        },

        "cthunk_count_max": {
            "help": "The maximum CThunk objects used at the same time. This must be greater than 0 and less 256",
            "value": 8
        },
        "crash-capture-enabled": {
            "help": "Enables crash context capture when the system enters a fatal error/crash.",
            "value": false
        },
        "error-reboot-max": {
            "help": "Maximum number of auto reboots permitted when an error happens.",
            "value": 1
        },
        "fatal-error-auto-reboot-enabled": {
            "help": "Setting this to true enables auto-reboot on a fatal error.",
            "value": false
        },
        "use-mpu": {
            "help": "Use the MPU if available to fault execution from RAM and writes to ROM. Can be disabled to reduce image size.",
            "value": true
        }
    },
    "target_overrides": {
        "EFM32": {
            "stdio-baud-rate": 115200
        },
        "EFR32": {
            "stdio-baud-rate": 115200
        },
        "UNO_91H": {
            "stdio-baud-rate": 115200
        }, 
        "DISCO_L475VG_IOT01A": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        },
        "K64F": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        },
        "K66F": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        },
        "NUCLEO_F429ZI": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        },
        "NUCLEO_F746ZG": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        },
        "NUCLEO_F767ZI": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        },
        "NUCLEO_H743ZI": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        },
        "NUCLEO_F439ZI": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        },
        "UBLOX_EVK_ODIN_W2": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        },
        "UBLOX_C030_U201": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        },
        "NUMAKER_PFM_M487": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        },
        "NRF52840_DK": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        },
        "NUCLEO_L476RG": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        },
        "NUCLEO_F411RE": {
            "crash-capture-enabled": true,
            "fatal-error-auto-reboot-enabled": true
        }
    }
}