)]}'
{
  "id": "11665afc2f4b3b699987c9579ea52fc82b543a7a",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "a6aa40368dcff3ecd4d395fe11c6e9821db7d410",
      "name": "sel4_arch"
    }
  ]
}