)]}'
{
  "id": "9b01f35944b717ac8d5f307c614a2af9510446f6",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "6c727acc5566d27c39ec337383a12a85abdd7983",
      "name": "arch"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2fa694fce583a5046fea32efc8490faa617df458",
      "name": "sel4_arch"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a7596fbc360ed175ee0580e531f9f904ca68b268",
      "name": "vspace.c"
    }
  ]
}