)]}'
{
  "id": "5665e0dae628d8c0c3006859d12dc11597a94c12",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "1093a8aaca055f32939a6c07dcad762d3b2d323a",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2c9029204b652d406fd0cf68851e5061caa35a01",
      "name": "Kbuild"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "831e755751b8d19d4ee2c0bd4251cab8b7f3ba93",
      "name": "Kconfig"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c78ecfa3884be30578cf98d1fb35a082eb36c72",
      "name": "LICENSE_BSD2.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9ab683f25c4fd433abc858e680a4153810956100",
      "name": "Makefile"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "574f508ff6e54ce42f191674059642e7a270b64c",
      "name": "arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ae92b23ed2123192879e3335dfd9c886d2b86c7a",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "84c2d9f457309f015feefa3c31f6e323cab7a075",
      "name": "sel4_arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e7d4eae1951268b3eb9c23471cccdfaf16b0f6c9",
      "name": "src"
    }
  ]
}