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