)]}'
{
  "id": "d54fc785bcfdaf51b197748cc3a18c96013b4cdb",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "850731ab414fd7ffd439f196d6273a5bd9458da2",
      "name": "sel4platsupport"
    }
  ]
}