)]}'
{
  "id": "717afcac466a485d1cbb6bb7fa1fb3a26c02b9f6",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "06fffe0a96ebc4653e91418cb0f317dae4d51264",
      "name": "arch"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2fa694fce583a5046fea32efc8490faa617df458",
      "name": "sel4_arch"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a7596fbc360ed175ee0580e531f9f904ca68b268",
      "name": "vspace.c"
    }
  ]
}