100644 blob 9842bf164dfa8a2ceea0b2cde0a5e566ca9a119b	CMakeLists.txt
100644 blob cfb208b41fe47e3456ad73176f04334f2bc0e3de	README
040000 tree 66ed51dcda395ca8bfe51b238bc96adb470daeae	arch_include
040000 tree 6dd03bb7acda8b8649d197daece40b89e034d024	include
040000 tree 138e64e0b4ed2a629190bb19d2c6da7d5ae71677	sel4_arch_include
040000 tree fb2308dc228e29412df28e012d99605e1741a3a8	src