)]}' { "id": "311c80212bfe1a3e8f35960fa4fd60bb95af7765", "repo": "public/gem5", "revision": "db5ea632671383f102d61d2feda9976b2e036aa7", "path": "configs/boot/ping-server.rcS" }