100644 blob 81a9a6b833502d0e7ec303405c9b6eedc10ea2bf	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob a6fe4c4d6b583245f639010b8766a80e2e146781	README.md
040000 tree f2eed50a681e3c8214d265f50fc42c6944f8dc4d	arch_include
040000 tree c0bd649510b57dd1ffa35e57c15953b456e16a25	include
040000 tree ca2678d0d5102ead9569a2864e014d635af2cfda	sel4_arch_include
040000 tree 4586753e85bcaad7a78d19407b452163dc968496	src