)]}'
{
  "id": "808b621e885a1b3054dd5468eb397c60dc1da5d2",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "983648b6c424690545fe7f5121613904c844ccbe",
      "name": "sel4debug"
    }
  ]
}