100644 blob ed5363b643cdc5b4441d065c30f895ad47383297	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob a6fe4c4d6b583245f639010b8766a80e2e146781	README.md
040000 tree 3f8744fdb81272f79f746b24a680fd107ac25ac0	arch_include
040000 tree ae020fbf23757b9251ce58fd034f31684264ea05	include
040000 tree bf21d9edf107aa5c427d3fc1152719e2810fe1c7	sel4_arch_include
040000 tree 3833b53c7e05bcc2352c15dca9bde9a63b05ff2e	src