tinygo/targets/gopher-badge.json

{
    "inherits": [
        "rp2040"
    ],
    "serial-port": ["2e8a:0003"],
    "build-tags": ["gopher_badge"],
    "linkerscript": "targets/gopher-badge.ld",
    "extra-files": [
        "targets/pico-boot-stage2.S"
    ]
}