)]}' { "id": "9c59d1c795d1f2d6787b9a3a248f384e4017e8f1", "repo": "arm/linux", "revision": "refs/heads/gem5/v4.3", "path": "drivers/firmware/efi/reboot.c" }