)]}'
{
  "id": "2ce9e58b230dd4aa58ed692009f6f95934b1b339",
  "repo": "3p/sel4proj/sel4runtime",
  "revision": "c27050513503f615137950cb3918f6f040f34407",
  "path": "src/init.h"
}