100644 blob 0cc7c976f0c23d5c633b0bcf71a63be4eeb614f2	CMakeLists.txt
100644 blob 220a2ef00fd139ea26207091608162a9af20693c	README.md
040000 tree 7fe17907ab1891493a62bb35c8ef2b9725700c0c	arch_include
040000 tree 29444acfe6eb3093a8ec1397ab259ae6142eb7e7	docs
040000 tree 04f5d03541660c9ab2960550c4758fad56c08242	include
040000 tree 061faca20b2115d480d49cdf1226f9e79be5e602	mach_include
040000 tree f1e5c234bf3b11dd2490fb48cc46362ffd5b4cf8	plat_include
040000 tree c453bb128ded440ae234d07a19f568c7accc14b4	sel4_arch_include
040000 tree 57fda9287f32a7a7b21f9d7c54e0ac0ac23bc568	src
040000 tree 0a47e93cf43b356ad4b460d5c14b69f3c9aa0e6f	tools