)]}'
{
  "id": "7a18bdac66500b308ae21c1b5f4ad0653e37a7d9",
  "repo": "third_party/github/raspberrypi/debugprobe",
  "revision": "780b8275bbde6b687b372877e50e4fbea4a33b72",
  "path": "src/FreeRTOSConfig.h"
}