tree f75385b65109f34b6a7f38129f6a3382f19b5425
parent c8d5b552b60a908e18993abed1e1100699823297
author Jonathan Bell <jonathan@raspberrypi.com> 1751884223 +0100
committer P33M <2474547+P33M@users.noreply.github.com> 1751896372 +0100

submodules: delete CMSIS_5 from the repository

See https://github.com/raspberrypi/pico-setup/issues/57

Clones of debugprobe or invocations of pico-setup.sh frequently
encounter errors relating to bandwidth budgets. These sporadic errors
are due to the large size of the CMSIS_5 repo clone exhausting the
bandwidth quotas on Github, so drop this in favour of a downstream copy
of the relevant CMSIS-DAP firmware files.

Users are advised to delete and regenerate the build directory.

Optionally, reclaim filesystem space by removing .git/modules/CMSIS_5
and all subdirectories.