)]}'
{
  "id": "3e12f42a4a80759f7f9420845d47ce57b30bd31d",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "6bc42aac7c7cfa77b7e9e81ce1b7e1a57ef1d078",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c78ecfa3884be30578cf98d1fb35a082eb36c72",
      "name": "LICENSE_BSD2.txt"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a873c87d86d32aeae8cbb8e9f52760b3a370d0c1",
      "name": "arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5cb257ec1057a247e6b41f94526d661075541711",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "84c2d9f457309f015feefa3c31f6e323cab7a075",
      "name": "sel4_arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e7d4eae1951268b3eb9c23471cccdfaf16b0f6c9",
      "name": "src"
    }
  ]
}