)]}'
{
  "id": "ba6d9df43712be6dee9bec6119115b436a008017",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "bbf313b25987d0d61b1cea33a8e6188501e221ac",
      "name": ".gitignore"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "85cda3e9c7e3a6a540a443422288fa70eeca4328",
      "name": "LICENSE_BSD2.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "72ffe8018278c97f489157c73d7e00cdc7893fea",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3471fe3b880eff9268b955140ea56098c5b9c3bd",
      "name": "libsel4allocman"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "09c63cba69a1973a794c7fbe8507b82ac088eedf",
      "name": "libsel4bench"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "edc30afb3e467b96ea1491abeedcb204dadead8e",
      "name": "libsel4debug"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "62bbbce4fa2bac9a8c3a4a81745edac005e78ad3",
      "name": "libsel4muslcsys"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "06c2f3e41e951786166cf1aa4a966a02c455306f",
      "name": "libsel4platsupport"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7b4631eddce08825a3a5a0778926c196649b5920",
      "name": "libsel4simple-default"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0f68f0b164f1f966115cf02d132029872e0a4f82",
      "name": "libsel4simple"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f3e4ba1cb180f59c87ac5e8e0507144ff1725037",
      "name": "libsel4sync"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "22118637f310efd33eda535f89f41fafffb8d719",
      "name": "libsel4test"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3baf926177d6b7e64ac53182b68e63b319796c14",
      "name": "libsel4utils"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c2bad1c649cb145cd808560c2093eb9b12dcd387",
      "name": "libsel4vka"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c87cc271edff2ee7e4949c9ab7319a660be1b200",
      "name": "libsel4vmm"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "133069ffcf40b22902b00761b7249d6b471533c3",
      "name": "libsel4vspace"
    }
  ]
}