)]}'
{
  "id": "96989abf9c18cc22bafac8e91b30413aaec5d455",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "a162bbecc0ef095d7bc1c21b9a074c8b204274d3",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "237199c466ee172edb445c9bfb5db5d96ee64b69",
      "name": "Kbuild"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d956eb3242988ef618527efb33f8ac73f9c18f93",
      "name": "Kconfig"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c78ecfa3884be30578cf98d1fb35a082eb36c72",
      "name": "LICENSE_BSD2.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e7ac8381c9ceb89a5c89920c8bf42f92f097d436",
      "name": "Makefile"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b228a04154cf4f277addaced82c9d689147cc325",
      "name": "README"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f41d5edcbd2cd97d3256b94efc604c8d8fb13ae7",
      "name": "arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4d3ec7e9ec6210a5520c9361ea5e8b2c028a989e",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "bfa364cca41511d2f246398c03a06bcd83289973",
      "name": "sel4_arch_include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4737450d05c36be1110b0c9c4591e4ae9829b981",
      "name": "src"
    }
  ]
}