github.com/tinygo-org/tinygo@v0.31.3-0.20240404173401-90b0bf646c27/targets/pico.json (about)

     1  {
     2      "inherits": [
     3          "rp2040"
     4      ],
     5      "build-tags": ["pico"],
     6      "serial-port": ["2e8a:000A"],
     7      "default-stack-size": 8192,
     8      "ldflags": [
     9          "--defsym=__flash_size=2048K"
    10      ],
    11      "extra-files": [
    12          "targets/pico-boot-stage2.S"
    13      ]
    14  }