)]}' { "id": "4756f6b3a04e54d6b09254809fc5b6ce84499d42", "repo": "linux", "revision": "refs/heads/ardb/arm64-ro-page-tables", "path": "Documentation/dev-tools/gdb-kernel-debugging.rst" }