)]}'
{
  "id": "bf37e5e9ce4c1a54bfb52b54e5abf397b434d386",
  "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": "99057fb5024bd09b0f7ad9ced27198808192f358",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c383baaa64f7838a8afc9fdf3c82d288c929f6e5",
      "name": "mach_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "91865d5f742eaa5ff6ee02d2167604547be22299",
      "name": "plat_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8fdd2493be55455dbbc7dada41c51fb277e5b0e1",
      "name": "sel4_arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b3d048f8c32cc689aaff889227313a81539c0bbf",
      "name": "src"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "72bc637f2bb7195c20bc7765141b93bd0048546d",
      "name": "tools"
    }
  ]
}