)]}' { "id": "56d9ed20e3708ede82c4ea4c07ccd3c7696adb2a", "repo": "third_party/github/FreeRTOS/FreeRTOS-Kernel", "revision": "9af72db3ec82993df2f50170bccdf2958ad19137", "path": "include/semphr.h" }