)]}'
{
  "id": "775077e072549c5b5200b2e91da6f54e4a047a8a",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "6e40f3ed334f5b4022a61c4e670f378769fe23b7",
      "name": "sel4_arch"
    }
  ]
}