)]}'
{
  "id": "9036cb69b8e3296f8444f7aedf719851403a1d52",
  "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": "81d94d97c556eabece0bfce9d55a31d688a681de",
      "name": "mapping.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4bbc6285a4dfae84f0c27d19c3541160453a278d",
      "name": "page_dma.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3eae6bf3a8d611864e16049bc9c08ea1e066e3ba",
      "name": "process.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5c62b6103bb1cc60c389a197e1dd9efaf425ca85",
      "name": "profile.c"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "dd22f72453af6afcda691306ceea98d0eaf29c35",
      "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": "d6d1a69e7a183dbb7ced8130de927500e2d3c0a8",
      "name": "thread.c"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d36fccae069d2a740ddb60129d38620833dbf823",
      "name": "time_server"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a78ff61b299f9f76a7e73f1ddd78dd78e1e30002",
      "name": "vspace"
    }
  ]
}