tinygo/targets/pico.json

{
    "inherits": [
        "rp2040"
    ],
    "build-tags": ["pico"],
    "serial-port": ["2e8a:000A"],
    "default-stack-size": 8192,
    "ldflags": [
        "--defsym=__flash_size=2048K"
    ],
    "extra-files": [
        "targets/pico-boot-stage2.S"
    ]
}