040000 tree 42d514ef8a1f0e2414377fff12cab6e1eaf96c39	arch
040000 tree 1f3b8358f66d067b2904c2e01b9eddfd1ce80030	mode
040000 tree 8527bd5dbf8384f99b141497edfac5106f65cacf	sel4_arch
100644 blob 9ff1f2ee3e3f3cf418a332853b2b618f588c39af	sel4runtime.h
040000 tree 5e1eadaf8588eb37c3ac4ca21585c856b0ebfa10	sel4runtime