{
  "fw_version_min" : [ 4, 2 ],
    "config": [
        {
            "options": {
                "core 0": {
                    "catch_abort": "off", 
                    "catch_fiq": "off", 
                    "catch_irq": "off", 
                    "catch_prefetch": "off", 
                    "catch_reset": "off", 
                    "catch_swi": "off", 
                    "catch_undef": "off", 
                    "cortex_addr": "0x80001000", 
                    "endianness": "little", 
                    "etm_addr": "0x80002000", 
                    "tpiu_addr": "0x80004000", 
                    "tpiu_type": "full"
                }, 
                "global": {
                    "etm_arch_version": "3.3", 
                    "checker": "on", 
                    "jrst_pulse": "300 ms", 
                    "jrst_settle": "300 ms", 
                    "logic_high": "3.3", 
                    "power_detect": "on", 
                    "rst_pulse": "300 ms", 
                    "rst_settle": "300 ms", 
                    "target": "cortexr4", 
                    "target_reset_pin": "independent", 
                    "use_rtck": "normal"
                }
            }
        }
    ], 
    "version": [
        2, 
        0
    ]
}