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

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