100644 blob fad98da5b2f8ff135fb82552fd8db6433f8e2a71	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob b228a04154cf4f277addaced82c9d689147cc325	README
040000 tree ccb203fe1956947bcb9e8b01fb802d28509b7bf4	arch_include
040000 tree 322de45ba8e9b6a3ed3290a5149aa3ffb78eb4fc	include
040000 tree 94ccc7df76642321f100df1c380b450768590c9a	sel4_arch_include
040000 tree eaf12e3a74e3ab3176bd34e669ba7516683da8d7	src