100644 blob 9842bf164dfa8a2ceea0b2cde0a5e566ca9a119b	CMakeLists.txt
100644 blob cfb208b41fe47e3456ad73176f04334f2bc0e3de	README
040000 tree 66ed51dcda395ca8bfe51b238bc96adb470daeae	arch_include
040000 tree 37ca2498549f03958780daf0fc27fefecf8e65ee	include
040000 tree bf197c03e94c2449960f8d1e5c83f288da680700	sel4_arch_include
040000 tree 0c66de13d1233726f6811d426ac7120b65f49081	src