mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-03-30 04:20:37 +00:00
* Remove (legacy) direct inclusion of 'pico/platform.h' which potentially skip config/board setup * also fix direct use of pico/config.h which predated pico.h being assembly includable