100644 blob eb4f2b8780f6c91f69765e2179af435000bcfae1	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 e72fdb95c0189522cd00f5c56ac8196b20a4ef66	src