100644 blob 7bf01e92e248724839de72c5371392f2ae4e8133	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob b228a04154cf4f277addaced82c9d689147cc325	README
040000 tree 8db6577508b65a82318b4e974204341879bcb925	arch_include
040000 tree 322de45ba8e9b6a3ed3290a5149aa3ffb78eb4fc	include
040000 tree bfa364cca41511d2f246398c03a06bcd83289973	sel4_arch_include
040000 tree b2a2819fafb97d5c64615118f7f56b73a71efb69	src