0001-fix-for-https-github.com-raspberrypi-pico-sdk-issues.patch
0002-replace-external-google-stylesheet-with-Debian-packa.patch
0003-reproducible_doxygen.patch
0004-boot_stage2-Adapt-for-building-with-picolibc.patch
0005-pico_platform_compiler-Picolibc-compatibility-fix.patch
0006-pico_clib_interface-Ignore-redundant-decls-warning-f.patch
0007-pico_clib_interface-Use-picolibc-by-default.patch
0008-pico_standard_link-Use-T-for-linker-script-option.patch
0009-Add-picolibc-constructor-symbols-to-linker-scripts.patch
