)]}'
{
  "id": "397e4e67e8c849e98726d5a4f3a716264dd02ed6",
  "repo": "third_party/kernel",
  "revision": "1cd7884dfd78df6284d27b008823b0b4a808f196",
  "path": "tools/memory-model/linux-kernel.def"
}