)]}'
{
  "id": "67c3645c8a49a11b37033c2aa9e5e4e8a8fcf322",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "9a4920e413d6a9d29dfb422351f1b36bf256b270",
      "name": "sel4platsupport"
    }
  ]
}