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