100644 blob 9ca567e91f276ab4c8cbe67760876dbdf3c1fa0e	CMakeLists.txt
100644 blob 220a2ef00fd139ea26207091608162a9af20693c	README.md
040000 tree 7fe17907ab1891493a62bb35c8ef2b9725700c0c	arch_include
040000 tree 29444acfe6eb3093a8ec1397ab259ae6142eb7e7	docs
040000 tree 04f5d03541660c9ab2960550c4758fad56c08242	include
040000 tree 1de1cd3da87e57c727c857db576b99fba1e65a5c	mach_include
040000 tree 7706de94128ba5b1f58c70f8ef1f088a961c4874	plat_include
040000 tree c453bb128ded440ae234d07a19f568c7accc14b4	sel4_arch_include
040000 tree ddba12f2666c1c757ec92aeb9c17d1f410d6bf18	src
040000 tree 0a47e93cf43b356ad4b460d5c14b69f3c9aa0e6f	tools