)]}'
{
  "id": "822d09ac5a31e5d2e923ed19b11ce7128ec344ac",
  "repo": "third_party/github/FreeRTOS/FreeRTOS-Kernel",
  "revision": "fb01731f41b2d9d7365edcf939ee00566024a7ad",
  "path": "Demo/MicroBlaze/FreeRTOSConfig.h"
}