)]}'
{
  "id": "99eb9cd2f04336eeb38eda0d190fa94c508ce320",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "688a7db579beeb7035415b9388d59696f6b40d5e",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6ebd40d400a20104078569aefc2ed5694953037e",
      "name": "Kbuild"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "167b996b75c89f5eb123a3a3c2752ad87cf65c91",
      "name": "Kconfig"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c78ecfa3884be30578cf98d1fb35a082eb36c72",
      "name": "LICENSE_BSD2.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2f5b03b7ffa83d0c459aeb9c6f7a2e69459c9c4b",
      "name": "Makefile"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c530986158b57d286d50765d0b34353d423b62d4",
      "name": "arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4076660f3b29df4c53aafd0fbd5b7f7e57b43286",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6b2f2f8730a4273b6c0eb83a858163b8c86f6ac4",
      "name": "sel4_arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b60ce24f4ba2adb8c605d62a2e1d81e983ac67fd",
      "name": "src"
    }
  ]
}