{
  "stm32f4discovery_simple": {
    "debugger": {
      "name": "openocd",
      "flash_params": "init; reset halt; wait_halt; flash write_image erase {elf_path}; reset run; shutdown",
      "conf_file" : "stm32f4discovery.cfg"
    }
  }
}

{
  "stm32f4discovery_simple": {
    "debugger": {
      "name": "openocd",
      "flash_params": "init; reset halt; wait_halt; flash write_image erase {elf_path}; reset run; shutdown",
      "conf_file" : "stm32f4discovery.cfg"
    }
  },

  "tivac_tm4": {
    "debugger": {
      "name": "openocd",
      "flash_params": "init; reset halt; wait_halt; flash write_image erase {elf_path}; reset run; shutdown",
      "conf_file" : "ek-lm4f120xl.cfg"
    }
  }
}

Add tm4c to the board example for flashing script
Add tm4c to the board example for flashing script
