100644 blob 0d2f5998e8a037590f3a8f5dce081b90000adaa0	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob a6fe4c4d6b583245f639010b8766a80e2e146781	README.md
040000 tree f2eed50a681e3c8214d265f50fc42c6944f8dc4d	arch_include
040000 tree 61e28dd3dba8c9a92994fe6892723715eee6a01a	include
040000 tree dea10547d9bb7838c1f0216b82a50e41e39fdb13	sel4_arch_include
040000 tree bbcf783b1dda78e11f32a38a307efef55710a359	src