)]}'
{
  "id": "db1c9b7adaa6670f4a5d1d3f6a40d9249a98a501",
  "repo": "arm/linux-arm64-legacy",
  "revision": "refs/heads/gem5_20140821",
  "path": "drivers/char/ipmi/Kconfig"
}