{ "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" ] }