)]}'
{
  "id": "ecaa3568841cd87e39bf96c4729662ac9fa04d72",
  "repo": "third_party/kernel",
  "revision": "refs/heads/cos-6.12",
  "path": "drivers/clocksource/timer-zevio.c"
}