mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-04-16 14:42:54 +00:00
* build: allow compile time - and hence via board config header - choice of boot stage2 via a default compile_time_choice.S boot stage 2 which conditionally includes others adafruit_rp2040_feather: fix flash size/clkdiv * fixup GENERIC_03H #define names