)]}'
{
  "id": "ee4f1773b0dc329bd22485dc5db9a8e3e0da093f",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "fedcfbfbdd8ade645eeacd6cfd5cc06501ec5664",
      "name": "sel4runtime"
    }
  ]
}