)]}'
{
  "id": "009fbba7762fafc9e06a974a297156e69e10c8ef",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "9f472a4b08800c767b41afd67c32fe76cdf2ec1b",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c78ecfa3884be30578cf98d1fb35a082eb36c72",
      "name": "LICENSE_BSD2.txt"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "90593dfc502482b6d6d54f3f94f08e1f52cd61fb",
      "name": "arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d14cad93addc32f2182d7b0dff57fa06530bec97",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ed5eec3ee169a6a7543dd66ace74cb95fd196d5b",
      "name": "sel4_arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5602b61ba459d484a0382b11090362e5d2dd7ac8",
      "name": "src"
    }
  ]
}