)]}' { "id": "5be86b1025e8d676ec5582c7cc22e1e03d3ef11d", "repo": "linux", "revision": "988f01683c7f2bf9f8fe2bae1cf4010fcd1baaf5", "path": "tools/memory-model/linux-kernel.bell" }