100644 blob 7bf01e92e248724839de72c5371392f2ae4e8133	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob b228a04154cf4f277addaced82c9d689147cc325	README
040000 tree ccb203fe1956947bcb9e8b01fb802d28509b7bf4	arch_include
040000 tree 322de45ba8e9b6a3ed3290a5149aa3ffb78eb4fc	include
040000 tree 5de48ec36b6eeb3ffa90ac8c4b212ef3e47012a1	sel4_arch_include
040000 tree b2a2819fafb97d5c64615118f7f56b73a71efb69	src