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