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

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