100644 blob ed5363b643cdc5b4441d065c30f895ad47383297	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob a6fe4c4d6b583245f639010b8766a80e2e146781	README.md
040000 tree 3f8744fdb81272f79f746b24a680fd107ac25ac0	arch_include
040000 tree fa45480f007dcfba56b39f19bacd589d7676044e	include
040000 tree bf21d9edf107aa5c427d3fc1152719e2810fe1c7	sel4_arch_include
040000 tree 67a10245304cc360dab2555809b7447a4dbe5284	src