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

     1  {
     2      "inherits": [
     3          "rp2040"
     4      ],
     5      "serial-port": ["1b4f:0026"],
     6      "build-tags": ["thingplus_rp2040"],
     7      "ldflags": [
     8          "--defsym=__flash_size=16M"
     9      ],
    10      "extra-files": [
    11          "targets/pico-boot-stage2.S"
    12      ]
    13  }