)]}'
{
  "id": "b747f8c9199076e7dc902d351ea8f0a9afdda804",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "3628c65fa10ad7d42dad8a648702610cd6a3e60f",
      "name": "sel4test-driver"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "189b9d10ba1a4911240f1479597c52f58aec48e9",
      "name": "sel4test-tests"
    }
  ]
}