)]}'
{
  "id": "a00f112681bffcd7765ec8effd7498068f51bed6",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "81a9a6b833502d0e7ec303405c9b6eedc10ea2bf",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c78ecfa3884be30578cf98d1fb35a082eb36c72",
      "name": "LICENSE_BSD2.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a6fe4c4d6b583245f639010b8766a80e2e146781",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f2eed50a681e3c8214d265f50fc42c6944f8dc4d",
      "name": "arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c0bd649510b57dd1ffa35e57c15953b456e16a25",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ca2678d0d5102ead9569a2864e014d635af2cfda",
      "name": "sel4_arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "07b022fc96f279d916f4b6cbcbe0ec8495f8d8b8",
      "name": "src"
    }
  ]
}
