)]}'
{
  "id": "307c818048697fa69888813c475cc1a5a3f42480",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "3d4c687caf499a583fd8cc9218e9e6ebeae493a5",
      "name": "sel4utils"
    }
  ]
}