040000 tree 149097115bec2a9b6fc1373ea7ef9ec235ddb9fb	arch
100644 blob 84648348e9138070eecee957de72b3079070c064	boot.c
100644 blob 9ba66da265cc449369f42338db291d7b0995d1e7	guest_memory.c
100644 blob 6b05730195c1b1065e4ae6b1416b850ae9f17bf9	guest_memory_helpers.c
100644 blob a854d2e1686187e1211bdff99275360e475d16c2	guest_memory_map.h
100644 blob 27cf0cf3b25f672a436b116eeee8bef781a878c2	guest_ram.c
100644 blob acc736ee2abe5622f95e39592d5d0a2bb8181e24	guest_vcpu_fault.c
100644 blob dea5254c2dc45313228ed8048ebc502e8a0c628a	guest_vspace.c
100644 blob a2194f1f4c57f1c90f430d15950e601033a3e128	guest_vspace.h
040000 tree b8abfda870da8fa8c889322c58b2527122b6bf7c	sel4_arch
100644 blob 8b051b39b0e0f720e14e0f1174e1de1d8e4f56a0	vm.c
100644 blob cde974067f5802121c596bd588c59a2aaaa03eb4	vm.h
100644 blob 300b960d4f004cd28395c696b6cdef76082462c9	vm_boot.h