)]}'
{
  "id": "7800e12ee042ced0669b14c8b3cedb777bb43440",
  "repo": "manifest_repos/kernel",
  "revision": "c6e8545609fd8da1240e7572ebec8b64a1e277f0",
  "path": "include/soc/bcm2835/raspberrypi-firmware.h"
}