100644 blob f6d0a5872d9f4563c6daa1e3a2fd430407342a0d	CMakeLists.txt
100644 blob f61a63fe47bba8f911796cbd912204c1279e4891	README.md
040000 tree 5c5b856f32361329d8209b4b01439bcf5e436163	arch_include
040000 tree 4e4868454fbc4e9575460aba870bdc8d123cab3a	include
040000 tree 6a04b0ef6a2903abe6d5e6ee0f575593b242a7b8	sel4_arch_include
040000 tree be352bd7ee0adbdf1883e251cd5358c37f3efc55	src