{
  "targets": {
    "renode-stm32f4_discovery": {
      "gdb": [
        "arm-none-eabi-gdb"
      ],
      "renode": {
        "executable": "renode",
        "machine": "platforms/boards/stm32f4_discovery-kit.repl",
        "channels": {
          "terminals": {
            "serial0": {
              "device-path": "sysbus.usart1"
            }
          }
        }
      }
    }
  }
}