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