)]}'
{
  "id": "3b89b1c5ba0ff703aebb15a4802e206fb0a7cc09",
  "repo": "third_party/github/raspberrypi/debugprobe",
  "revision": "4eb7210dc64f2633b98835089af6c835d7ad79ab",
  "path": "src/FreeRTOSConfig.h"
}