)]}'
{
  "id": "a5bb11a00e1e90bbcee266787e938ca97235b59a",
  "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": "d003cba2b423a93d0c5a1e09449552ac0c46292c",
      "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": "f198f51464213141f0cb64628342f20b8663ed3f",
      "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": "054e0067c154d7e808b0947aec81e3d2bdd44e12",
      "name": "libsel4test"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d97bdd1ce6e317b035ec8b11edb84c3fe85b6939",
      "name": "libsel4utils"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c2bad1c649cb145cd808560c2093eb9b12dcd387",
      "name": "libsel4vka"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c87cc271edff2ee7e4949c9ab7319a660be1b200",
      "name": "libsel4vmm"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4d725bdf0449bea062b728da74fb245807dee6a9",
      "name": "libsel4vspace"
    }
  ]
}