)]}'
{
  "id": "46fe4056aa25f70429f945dd7da57ad0d25a1a2a",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "8f75623eafde374fe920c878a9d173c2b8d16013",
      "name": "sel4debug"
    }
  ]
}