040000 tree 135befebff772335b5273730f956f4156b3c680c	arch
040000 tree 1f3b8358f66d067b2904c2e01b9eddfd1ce80030	mode
040000 tree d1b76e8a0ac1c615452556d3a6cb293ea693322c	sel4_arch
100644 blob 4abaf09d2f11b1458aba9c316dd1f95b86084e7a	sel4runtime.h
040000 tree 5e1eadaf8588eb37c3ac4ca21585c856b0ebfa10	sel4runtime