)]}'
{
  "id": "dbae588377c23578abd7837a08b5e2d9d8c9e83d",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "1da197aecaab43e64bd79477652cc4d024d910d7",
      "name": "arch"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "84648348e9138070eecee957de72b3079070c064",
      "name": "boot.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b92288759e1c26690539ba548ae12650799f026d",
      "name": "guest_memory.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "86955d422657f6a1fb6dc8d8f287656314807751",
      "name": "guest_memory.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6b05730195c1b1065e4ae6b1416b850ae9f17bf9",
      "name": "guest_memory_helpers.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9b7887b355fdc8bc52ce65d6096f7c6db11ab12e",
      "name": "guest_ram.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "acc736ee2abe5622f95e39592d5d0a2bb8181e24",
      "name": "guest_vcpu_fault.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6347a14bafcf4856393f52b75e9112b9f945c096",
      "name": "guest_vspace.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a2194f1f4c57f1c90f430d15950e601033a3e128",
      "name": "guest_vspace.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b8abfda870da8fa8c889322c58b2527122b6bf7c",
      "name": "sel4_arch"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8b051b39b0e0f720e14e0f1174e1de1d8e4f56a0",
      "name": "vm.c"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cde974067f5802121c596bd588c59a2aaaa03eb4",
      "name": "vm.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "300b960d4f004cd28395c696b6cdef76082462c9",
      "name": "vm_boot.h"
    }
  ]
}