)]}'
{
  "id": "1b8f345c9deae1f80dd26fd0051f0b4219a5fd85",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "034b1875cd588bfed4ca3ae6ebc2368214e4ced9",
      "name": "armv"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b1aed6c41871bd8087d8d7df1eb6b521ee752f1e",
      "name": "cpu"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7a8504ca658cb2ef966e74b5070ce3b865a16786",
      "name": "sel4bench"
    }
  ]
}