)]}'
{
  "id": "56fb4a454948e44a8b3a63253b04c4f49b620fb3",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "32e919957de783af7ef3eb5dad026a914ae2b7eb",
      "name": "sel4utils"
    }
  ]
}