100644 blob f6d0a5872d9f4563c6daa1e3a2fd430407342a0d	CMakeLists.txt
100644 blob f61a63fe47bba8f911796cbd912204c1279e4891	README.md
040000 tree 5c5b856f32361329d8209b4b01439bcf5e436163	arch_include
040000 tree 048613b73b1b4d136576fab1b39862d2218bd47a	include
040000 tree 6a04b0ef6a2903abe6d5e6ee0f575593b242a7b8	sel4_arch_include
040000 tree e0d454832e6b77045b492bf251e8c821f5a16879	src