test.json

{
    "config": {
        "UART1_TX": "D1",
        "UART1_RX": "D0",
        "UART2_TX": "USBTX",
        "UART2_RX": "USBRX",
        "wifi-ssid": {
            "help": "WiFi SSID",
            "value": "\"SSID\""
        },
        "wifi-password": {
            "help": "WiFi Password",
            "value": "\"Password\""
        },
        "sock-type": "TCP",
        "echo-server-hostname": {
            "help": "Echo server host name.",
            "value": "\"echo.mbedcloudtesting.com\""
        },
        "echo-server-port": {
            "help": "Echo server port number.",
            "value": 7
        },
        "trace-level": {
            "help": "Options are TRACE_LEVEL_ERROR,TRACE_LEVEL_WARN,TRACE_LEVEL_INFO,TRACE_LEVEL_DEBUG",
            "macro_name": "MBED_TRACE_MAX_LEVEL",
            "value": "TRACE_LEVEL_INFO"
        }
    },
    "target_overrides": {
        "*":{
            "platform.callback-nontrivial" : "true"
        },
        "K64F":{
            "target.components_add" : ["SPIF"],
            "spif-driver.SPI_MOSI"  : "D11", 
            "spif-driver.SPI_MISO"  : "D12",
            "spif-driver.SPI_CLK"   : "D13",
            "spif-driver.SPI_CS"    : "D10",
            "target.components_add": ["DATAFLASH"]
        }
    }
}