)]}'
{
  "id": "4586753e85bcaad7a78d19407b452163dc968496",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "3dd7fd797e3028529c8b516abbf6d6eb846f9aea",
      "name": "arch"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6767d161f02d9eb7ea25c051508376171c2c115a",
      "name": "elf.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8d7dd308b021df35c3618a4aa5e395327939c8e3",
      "name": "iommu_dma.c"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d63dfb6eb2c32033977546022eac55d05200de44",
      "name": "irq_server"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ccfb24c0884b6640bc68572d2749f5f5f4e36c46",
      "name": "mapping.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4bbc6285a4dfae84f0c27d19c3541160453a278d",
      "name": "page_dma.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cd52afb463111fedba998d1b555695506c295485",
      "name": "process.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5c62b6103bb1cc60c389a197e1dd9efaf425ca85",
      "name": "profile.c"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "02f8e113a7ebdca0e9e7da96288a864cb289372b",
      "name": "sel4_arch"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bf242a268334690a7f84baf9159ed5af8f85e67f",
      "name": "slab.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b50db3384813ea633b4b535d94d59457d99b6a35",
      "name": "stack.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "139b4dd6621cf5e3ffc0af60a618edc9babcbbbc",
      "name": "strerror.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8eb8a77cc2fb7ba1fc4af65b7511840bafc004dd",
      "name": "thread.c"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d36fccae069d2a740ddb60129d38620833dbf823",
      "name": "time_server"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "488361143081059091380e200890470b5be6a581",
      "name": "vspace"
    }
  ]
}