platform.json

{
  "name": "wizio-pico",
  "title": "WizIO - Raspberry Pi Pico",
  "description": "Development platform for Raspberry Pi Pico 2021 Georgi Angelov",
  "homepage": "http://www.wizio.eu/",
  "license": "Apache-2.0",
  "engines": {
    "platformio": "^5"
  },
  "repository": {
    "type": "git",
    "url": "https://github.com/maxgerhardt/wizio-pico.git"
  },
  "version": "1.0.9",
  "packageRepositories": [
    "http://dl.platformio.org/packages/manifest.json"
  ],
  "frameworks": {
      "baremetal": {
        "package": "framework-wizio-pico",
        "script": "builder/frameworks/sdk.py"
      },
      "arduino": {
        "package": "framework-wizio-pico",
        "script": "builder/frameworks/arduino.py"
      },
      "boot2": {
        "package": "framework-wizio-pico",
        "script": "builder/frameworks/boot2.py"
      }

  },
  "packages": {
    "framework-wizio-pico": {
        "type": "framework",
        "version": "https://github.com/maxgerhardt/framework-wizio-pico.git"
    },
    "toolchain-gccarmnoneeabi": {
        "owner": "platformio",
        "type": "toolchain",
        "version": "~1.70201.0"
    },
    "tool-wizio-pico": {
        "type": "uploader",
        "version": "https://github.com/maxgerhardt/tool-wizio-pico.git"
    }, 
    "tool-pico-openocd": {
      "optional": true,
      "type": "debugger",
      "version": "https://github.com/maxgerhardt/tool-pico-openocd"
    } 

  }
}