040000 tree a68bfe50f057c6d14ab2940014f441412b547169	arch
040000 tree 899c50d476f9a54b3b5dd9974617e6c5e73e0683	mode
040000 tree 48427d2bfba23496c3fd2b4274e0bb4ba3afb5e1	sel4_arch
100644 blob f68ee0ec35cef90e40d1ac527c3a14914b786c98	sel4runtime.h
040000 tree 2145ecc7c404036c2666896be8c1b3dc98b69f9b	sel4runtime