)]}'
{
  "id": "939e890194eb625203c6f089352dc4bd81bdefc6",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "646b0fb86afaf21e2154c768a7e38e819170a621",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "98230206037e8461da0699b11abc11d5b6aa5fa7",
      "name": "LICENSE_BSD2.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "01baceb992cb6453d5f8c298e533d5003c8005d6",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "abe8e45af894bed53cd023049780e358ae7d51b9",
      "name": "arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "78977371f9398c6cdf53047fbd63dd848e843ba0",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c383baaa64f7838a8afc9fdf3c82d288c929f6e5",
      "name": "mach_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "65e4b3c16df925dbfd8b6260bf096f50e6ee8bb9",
      "name": "plat_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8fdd2493be55455dbbc7dada41c51fb277e5b0e1",
      "name": "sel4_arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "01e3ef6dea545292034ab02ac8681dfb630cb66b",
      "name": "src"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "72bc637f2bb7195c20bc7765141b93bd0048546d",
      "name": "tools"
    }
  ]
}