)]}'
{
  "id": "1d965c1252cac7b9297e153ad6ca8e77f6259727",
  "repo": "third_party/kernel",
  "revision": "93095720d6e7d3511643bedea335feff07afa8d6",
  "path": "drivers/firmware/raspberrypi.c"
}
