File content as of revision 0:e13a8a944e25:

{
    "macros": [
        "MBEDTLS_USER_CONFIG_FILE=\"mbedTLSConfig_mbedOS.h\"",
        "MBED_CLIENT_USER_CONFIG_FILE=\"mbed_cloud_client_user_config.h\"",
        "MBED_CLOUD_CLIENT_USER_CONFIG_FILE=\"mbed_cloud_client_user_config.h\"",
        "PAL_DTLS_PEER_MIN_TIMEOUT=5000",
        "MBED_CONF_APP_MAIN_STACK_SIZE=4608"
    ],
    "target_overrides": {
        "*": {
            "platform.stdio-baud-rate": 115200,
            "platform.stdio-convert-newlines": true,
            "mbed-client.event-loop-size": 1024,
            "mbed-trace.enable": null
        },
        "K64F": {
            "target.mbed_app_start": "0x00020400",
            "update-client.application-details": "0x00020000",
            "update-client.bootloader-details": "0x172e4"
        }
    },
    "config": {
        "developer-mode": {
            "help": "Enable Developer mode to skip Factory enrollment",
            "value": 1
        },
        "button-pinname": {
            "help": "PinName for button.",
            "value": "BUTTON1"
        },
        "led-pinname": {
            "help": "PinName for led, which is attached to led blink resource.",
            "value": "LED_RED"
        }
    }
}