100644 blob a162bbecc0ef095d7bc1c21b9a074c8b204274d3	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob b228a04154cf4f277addaced82c9d689147cc325	README
040000 tree 8db6577508b65a82318b4e974204341879bcb925	arch_include
040000 tree 8f7c160eafb8345d756541a3e976f8558cff6847	include
040000 tree bfa364cca41511d2f246398c03a06bcd83289973	sel4_arch_include
040000 tree b9f9b719c409cb5495f02ec4d2eb262f14d58c73	src