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 9d9859dbc7e8861335129640e4a8b3239c91793d	plat_include
040000 tree c453bb128ded440ae234d07a19f568c7accc14b4	sel4_arch_include
040000 tree b7dcfd5cd45139fca0aa38da1fcb08e3bc93fd7f	src
040000 tree 0a47e93cf43b356ad4b460d5c14b69f3c9aa0e6f	tools