100644 blob 0f35da44e533f68dbed35cba052425c416f62e27	CMakeLists.txt
040000 tree a28252e466d540038e523fa78b7b33cf303c3b48	arch
040000 tree 864db2e144fe80768866c8a3dc7c006ef87a3294	include
040000 tree 41d9495ebbd3292127032ccbc82e50708e053a1f	scripts
040000 tree ccd03d12e17c85ffabe2343b9e97f0ed0635b094	sel4_arch
040000 tree e8f95736f66d1744a2b668f5aeb9447a2cf78846	src