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