Files
2023-08-04 17:53:01 +02:00

15 lines
240 B
JSON

{
"inherits": [
"rp2040"
],
"build-tags": ["ae_rp2040"],
"serial-port": ["2e8a:000A"],
"ldflags": [
"--defsym=__flash_size=2048K"
],
"extra-files": [
"targets/pico-boot-stage2.S"
]
}