)]}'
{
  "id": "af56b80d44f1f3c5dfb708a057f6a41c6bf5182f",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "b18e7520911007ebf48b6f703bcab6d5cfc16385",
      "name": "sel4platsupport"
    }
  ]
}