040000 tree 135befebff772335b5273730f956f4156b3c680c	arch
040000 tree 92aba84690a64b7c4cd4936722e741b025f1c608	mode
040000 tree 1bea02de51d6ab8e32c81365a9eecd6a1acee948	sel4_arch
100644 blob 4abaf09d2f11b1458aba9c316dd1f95b86084e7a	sel4runtime.h
040000 tree ef2196876afab908650f4d66eb4547ada7b34358	sel4runtime