)]}' { "id": "59b5cbe6b6240e3c3f4c4c3f1a1d54656defe768", "repo": "third_party/kernel", "revision": "a08b8a6068083db4b3bd99b50d2f54e186d5ed49", "path": "tools/memory-model/linux-kernel.cat" }