)]}'
{
  "id": "8d79d9403ada80ce7fb8851cfaf146afc5ab1ae3",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "26263fa9084d9dc8ebf530313fbc808bf7000385",
      "name": "sel4_arch"
    }
  ]
}