)]}'
{
  "id": "a34ad8c4d3761905552191d345d2d00348e52e6f",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "ef24e9804dcfd5dbba17c4c933cc037b3ce6fedd",
      "name": "sel4debug"
    }
  ]
}