100644 blob f017e72b4dba0f016f80cb543d523114def30db8	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob a6fe4c4d6b583245f639010b8766a80e2e146781	README.md
040000 tree 3f8744fdb81272f79f746b24a680fd107ac25ac0	arch_include
040000 tree d9f83d062e89011dee538ef6c0563d908ba353dc	include
040000 tree cf4c9687316426ec24ca120555da4e3c39da5650	sel4_arch_include
040000 tree edd027b4b8485c74fb3ddf309932033a148afa30	src