)]}'
{
  "id": "4a0f1ea69e07025e5f1b60a2e4886882cb1e28ed",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "05b26779fc39ba885f67e2497d1f20e32ef6a98c",
      "name": "sel4debug"
    }
  ]
}