)]}'
{
  "id": "954f897503330b92329107df07c6dd68a0451169",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "1fc92b9d230d9409cf3a12ee6e051062f1ddd49a",
      "name": "armv"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "01229b751f32c3b58b1c57618b2f93a8767ae839",
      "name": "cpu"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8d5bf27be9032a530fadff65cbd0a359f135dbe9",
      "name": "sel4bench"
    }
  ]
}