100644 blob fc0388a357cb24b4005307bb53421cf72cc67862	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob a6fe4c4d6b583245f639010b8766a80e2e146781	README.md
040000 tree f2eed50a681e3c8214d265f50fc42c6944f8dc4d	arch_include
040000 tree 61e28dd3dba8c9a92994fe6892723715eee6a01a	include
040000 tree ca2678d0d5102ead9569a2864e014d635af2cfda	sel4_arch_include
040000 tree 961199e20ef61eb4ba96f3c4962a1a7bfc0e52a3	src