)]}'
{
  "id": "3cd9d401d530df42cefae770f10f0beae3c9af3e",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "fa4d02ead4b4548cf51ac36c597c4534f5c14e78",
      "name": "sel4platsupport"
    }
  ]
}