)]}'
{
  "id": "96a5dd374427e25634e1f9ac4f904904f8417550",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "7ea0b2fc82a2d9bef7fc52b29db81fb8a261f7e6",
      "name": "sel4test-driver"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2731fbd78f277dfea311657afadda41cf1cb6451",
      "name": "sel4test-tests"
    }
  ]
}