)]}'
{
  "id": "abd5f158d6e2d7b9d84fbdaf91b3ac9fda0d1f7b",
  "repo": "manifest_repos/kernel",
  "revision": "979e58f5036ed916b6f745d83106bdfefe58341b",
  "path": "drivers/clocksource/timer-ti-32k.c"
}