)]}'
{
  "id": "6240efd07a86544a43ef29d608ec4ab3e3296549",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "e578714d2ac1e3e5177e36e4168f2c51a87f9667",
      "name": "sel4_arch"
    }
  ]
}