1 2Origin: https://github.com/raspberrypi/pico-sdk 3Change: 2d5789eca89658a7f0a01e2d6010c0f254605d72 4 5This is the contents of src/boads, src/common, 6src/rp2040, and src/rp2_common, excluding cmake 7goop. 8 9I suspect we'll trim it back closer to just the 10register definitions, but for now leave it mostly 11as-is to simplify updating as the pico sdk updates 12and we figure out how deeply (or not) to integrate 13it with lk. 14