)]}' { "id": "4d1ca9407135d2a7158175398141ea7149b7e298", "repo": "public/gem5", "revision": "7515106ebe879163e77d7e41a6bea242eeb4a9f8", "path": "configs/boot/devtime.rcS" }