)]}'
{
  "id": "9552f91a983e2bb16adf792601f287f8399cefa1",
  "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": "8d0bb91b6a79783df0e74dbbc3c70b0d177c17d5",
      "name": "sel4_arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b60ce24f4ba2adb8c605d62a2e1d81e983ac67fd",
      "name": "src"
    }
  ]
}