)]}'
{
  "id": "7d147993adce84583352ba08cf0b73f204d5ac67",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "2d78662bbe32c74c7fcefe6331fab99c42f971d9",
      "name": "sel4platsupport"
    }
  ]
}