)]}'
{
  "id": "9ff1f2ee3e3f3cf418a332853b2b618f588c39af",
  "repo": "3p/sel4proj/sel4runtime",
  "revision": "4e4705c7503ea82ed8611fb4f597e66706b57309",
  "path": "include/sel4runtime.h"
}