100644 blob 0d2f5998e8a037590f3a8f5dce081b90000adaa0	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob a6fe4c4d6b583245f639010b8766a80e2e146781	README.md
040000 tree f2eed50a681e3c8214d265f50fc42c6944f8dc4d	arch_include
040000 tree a9cd8aecbb185f0512fadb6175b99493e87bf9f9	include
040000 tree dea10547d9bb7838c1f0216b82a50e41e39fdb13	sel4_arch_include
040000 tree 9943eb35839f5401d92aeb2ced142eeca90abf06	src