https://github.com/raspberrypi/pico-sdk
This is just a partial copy of the pico-sdk repository to reduce repository size. The following paths are extracted:
LICENSE.TXTsrc/rp2040/hardware_regs/includesrc/rp2040/hardware_structs/includesrc/rp2_common/cmsis/stub/CMSIS/Device/RaspberryPi/RP2040/Include
Boot2 variants builded from src/rp2_common/boot_stage2
This repository is updated periodically by Github Actions.