)]}'
{
  "id": "e5b2961430b47630109a8625274f5bbcce9f5b1b",
  "repo": "3p/cheriot-rtos",
  "revision": "b35d1d944fd9038b0c821e9e51d2b6822dcc8cf8",
  "path": "sdk/core/scheduler/thread.h"
}