)]}'
{
  "id": "756905ab9029efe9984cbb77b988d68d71b6874c",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "a25e673ef7bb3bcb641ebdb0042ecfe209518216",
      "name": "sel4platsupport"
    }
  ]
}