)]}'
{
  "id": "4e9f4102cad1146984898ca1ea2f89216281c638",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "0892930a6fb4ee04dbed12b7ec59121d8f327400",
      "name": "arch"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "73cf9d65adabb10921cddb19fe2e595090d862b9",
      "name": "elf.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8d7dd308b021df35c3618a4aa5e395327939c8e3",
      "name": "iommu_dma.c"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1afc8b122b97a39e2ef03b3c8f1313786ee00479",
      "name": "irq_server"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ebc79e8f05d441a2489cfe4317cf4ef5c8e40505",
      "name": "mapping.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4bbc6285a4dfae84f0c27d19c3541160453a278d",
      "name": "page_dma.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "54475ec762be53e3263bcc783eeda3bbb9e53c6f",
      "name": "process.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5c62b6103bb1cc60c389a197e1dd9efaf425ca85",
      "name": "profile.c"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "35ddfb2b5f1f296646901fbade74beeec023014c",
      "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": "0649d135482aec7d13cdaa971045ac812fc3d4cc",
      "name": "strerror.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e7aef3db5bdc12f6c77dfbf2c2d933a7c1ddb036",
      "name": "thread.c"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d36fccae069d2a740ddb60129d38620833dbf823",
      "name": "time_server"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "50c887aae65358bec3fbd0974599e5e68a7f7fbe",
      "name": "vspace"
    }
  ]
}