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