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