)]}'
{
  "id": "ab1845c5d51ef039ec9fe582229c56848d7496d5",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "9aec68a60d85bebd34c53960290f835a0c247b99",
      "name": "sel4platsupport"
    }
  ]
}