100644 blob f6d0a5872d9f4563c6daa1e3a2fd430407342a0d	CMakeLists.txt
100644 blob f61a63fe47bba8f911796cbd912204c1279e4891	README.md
040000 tree 5c5b856f32361329d8209b4b01439bcf5e436163	arch_include
040000 tree b5a60244d1ab14bc2523bb10ce1c039df4ec8083	include
040000 tree 6a04b0ef6a2903abe6d5e6ee0f575593b242a7b8	sel4_arch_include
040000 tree 7de299b00a3029106766756b680d728036a70a6c	src