)]}'
{
  "id": "da3071b387eb59f6c003fcd7e58062d114d5c54a",
  "repo": "third_party/kernel",
  "revision": "fdaa696fefa8f2c66fa67eb0b859f1367105ea45",
  "path": "drivers/clocksource/timer-riscv.c"
}