)]}'
{
  "id": "213b1a6eccf1c2ca6d36a1c6d363cf4c6b8b43a2",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "332780822e68083ba26a46e3e1446b51567e12a2",
      "name": "armv"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "589276f7eb8b8c7d2c132fb7ad99152327026e00",
      "name": "cpu"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8d5bf27be9032a530fadff65cbd0a359f135dbe9",
      "name": "sel4bench"
    }
  ]
}