)]}'
{
  "id": "5c4ec0018f6860a622d409a6aefd559e2a9496c2",
  "repo": "manifest_repos/bootloader",
  "revision": "7d54b5bb3dd9913221341930e6e260adff01f0d1",
  "path": "drivers/timer/tsc_timer.c"
}