)]}'
{
  "id": "19e2fb24539b2269651ca6a4477e1abaaf9a01f2",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "113c478bd025c25928ce6f4ced683012ef2a38dc",
      "name": "sel4platsupport"
    }
  ]
}