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