Arduino/devbox.json

{
  "packages": [
    "platformio-core",
    "openocd",
    "avrdude"
  ]
}