)]}'
{
  "id": "cd5409645a6a1524ca875cdd307f989394c83dd6",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "3ab69f8b7a7b884456a65e8d9485b26a2af637fb",
      "name": "armv"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "62929934af6d1f4e833a10c75ae07e2933730a15",
      "name": "cpu"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "57002f0bca8998b93e28836f69c2a799552e62ac",
      "name": "sel4bench"
    }
  ]
}