)]}'
{
  "id": "d5a13dc39200d7fdfa0b5238d3159d9bf4e7a8e6",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "7ea0b2fc82a2d9bef7fc52b29db81fb8a261f7e6",
      "name": "sel4test-driver"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "fd0a6ead1e378ff633943b40264f0645cccff972",
      "name": "sel4test-tests"
    }
  ]
}