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