)]}'
{
  "id": "8b08165f0ecf69b912656ed303dead46ea1ce525",
  "repo": "third_party/github/FreeRTOS/FreeRTOS-Kernel",
  "revision": "524e78d58b6ee60f74e9b7028f266c5722bf4c24",
  "path": "include/semphr.h"
}