)]}'
{
  "id": "f147d324edec6b0e71681aecfad38a92c219da00",
  "repo": "3p/cheriot-rtos",
  "revision": "HEAD",
  "path": "sdk/core/scheduler/plic.h"
}