)]}'
{
  "id": "1de8cac99a0e93b21d38f5c23f29739ec06caab7",
  "repo": "third_party/kernel",
  "revision": "4942e8254d93b31ea14cf63a9dfd10a8112caafa",
  "path": "drivers/clocksource/timer-cs5535.c"
}