100644 blob 0d2f5998e8a037590f3a8f5dce081b90000adaa0	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob a6fe4c4d6b583245f639010b8766a80e2e146781	README.md
040000 tree f2eed50a681e3c8214d265f50fc42c6944f8dc4d	arch_include
040000 tree 22c05155f0c30baeed09d6fddf6117f02e2933a1	include
040000 tree dea10547d9bb7838c1f0216b82a50e41e39fdb13	sel4_arch_include
040000 tree 9036cb69b8e3296f8444f7aedf719851403a1d52	src