040000 tree 1da197aecaab43e64bd79477652cc4d024d910d7	arch
100644 blob 84648348e9138070eecee957de72b3079070c064	boot.c
100644 blob b92288759e1c26690539ba548ae12650799f026d	guest_memory.c
100644 blob 86955d422657f6a1fb6dc8d8f287656314807751	guest_memory.h
100644 blob 6b05730195c1b1065e4ae6b1416b850ae9f17bf9	guest_memory_helpers.c
100644 blob 22d0da432756aacca4859d2f4ca357915a0fdf51	guest_ram.c
100644 blob acc736ee2abe5622f95e39592d5d0a2bb8181e24	guest_vcpu_fault.c
100644 blob 6347a14bafcf4856393f52b75e9112b9f945c096	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