)]}'
{
  "id": "1fbdf1a73d70f70b0b60ae5fa900afcd5eb7cfc4",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "5c5f07896c8f7f860f079862158a794e0c149a2b",
      "name": "sel4platsupport"
    }
  ]
}