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