)]}'
{
  "id": "75c17a5866a51a05fc773d63b7110eaf9783f530",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "dc3627f1016f05efa36aea7a173c0fa68e59e44a",
      "name": "arch"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "547ebf5eaa0dd061784db2be77956e1cf2196595",
      "name": "sel4_arch"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "58a0998d89a4dba5560c37cdc535d016fa9c0b94",
      "name": "vspace.c"
    }
  ]
}