)]}'
{
  "id": "bfd1cd4e52dc261d9612f3dc846a6f6abb9be247",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "a0432b55935521b9522908e4c86892ef5be6d68a",
      "name": "arch"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "547ebf5eaa0dd061784db2be77956e1cf2196595",
      "name": "sel4_arch"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "59711d51161a21bdbcfdbab3f4475281a88631b7",
      "name": "vspace.c"
    }
  ]
}