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