)]}'
{
  "id": "09cc53ca7fdf4f18acb5170141e7a42bcb902841",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "b1e5fe8d343ef2de5d374e0e160f650a4c5aa368",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c78ecfa3884be30578cf98d1fb35a082eb36c72",
      "name": "LICENSE_BSD2.txt"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "90593dfc502482b6d6d54f3f94f08e1f52cd61fb",
      "name": "arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "da6134c47de57c39e054b2f6fbef74eacb270b51",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ed5eec3ee169a6a7543dd66ace74cb95fd196d5b",
      "name": "sel4_arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5602b61ba459d484a0382b11090362e5d2dd7ac8",
      "name": "src"
    }
  ]
}