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