File content as of revision 3:c770d0610d7c:

{
    "config": {
	"wifi-shield": {
            "help": "Options are internal, WIFI_ESP8266, WIFI_IDW0XX1",
            "value": "WIFI_IDW0XX1"
	},
        "wifi-ssid": {
            "help": "WiFi SSID",
            "value": "\"Quarantaine_Zone_23\""
        },
        "wifi-password": {
            "help": "WiFi Password",
            "value": "\"45474547\""
        },
        "wifi-tx": {
            "help": "TX pin for serial connection to external device",
            "value": "PA_9"
        },
        "wifi-rx": {
            "help": "RX pin for serial connection to external device",
            "value": "PA_10"
        }
    },
    "target_overrides": {
        "*": {
            "platform.stdio-convert-newlines": true,
            "idw0xx1.expansion-board": "IDW01M1",
	    "drivers.uart-serial-txbuf-size": 730,
	    "drivers.uart-serial-rxbuf-size": 730
        },
        "UBLOX_EVK_ODIN_W2": {
            "target.device_has": ["EMAC"]
        }
    }
}