)]}'
{
  "id": "7ea8cb7688e548db5f4f531000be01a7ab77327d",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "de3ef9ad88a2e7e43480c2d545593fb0c583cab8",
      "name": "sel4debug"
    }
  ]
}
