)]}'
{
  "id": "63ce706d93a5c3be604fbebe4446abd9d3f3e968",
  "repo": "third_party/github/raspberrypi/debugprobe",
  "revision": "687ba956f4e58b2a69a4c02c91dfd44e0307cfdd",
  "path": "src/FreeRTOSConfig.h"
}