)]}'
{
  "id": "153af4e2479d2b6086b04c58007923a42a103ab8",
  "repo": "third_party/github/raspberrypi/pico-sdk",
  "revision": "6bb38a87fa43e4a1cd32289942dfa0e84ff42925",
  "path": "src/board_setup.cmake"
}