)]}'
{
  "id": "dbea427d4cbba2eb7d2e275c3af3433f5dc66cb2",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "1fc92b9d230d9409cf3a12ee6e051062f1ddd49a",
      "name": "armv"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "036dc0a13a7d7228e48e2a53633d6289ddd83c38",
      "name": "cpu"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8d5bf27be9032a530fadff65cbd0a359f135dbe9",
      "name": "sel4bench"
    }
  ]
}