)]}'
{
  "id": "4dff7af0a86988e4fab927b0f17dc14fd16118ab",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "8130334193ae0ea6169ee0e16b92cea9c431b239",
      "name": "sel4_arch"
    }
  ]
}