)]}'
{
  "id": "edbb2427b574c1be01d0bd25d0b04a172f35f055",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "e8ee0b2a1548d1ce3780a90f291dcf1504093bc7",
      "name": "sel4_arch"
    }
  ]
}