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