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