{ "inherits": [ "rp2040" ], "serial-port": ["2341:005e"], "build-tags": ["nano_rp2040"], "ldflags": [ "--defsym=__flash_size=16M" ], "extra-files": [ "targets/pico-boot-stage2.S" ] }