)]}'
{
  "id": "4ac91d05849739876464b3af5cec9cb9f817a3dd",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "8fd8591989ccc997caf603a69899160e3f866d03",
      "name": "sel4debug"
    }
  ]
}