100644 blob 34536cdaf83fa7d0ebb12249977b103856b54225	CMakeLists.txt
040000 tree 16375670f25d421c905ffde835b5e042d649b676	arch_include
040000 tree e60dfd593361db0336c3484b6af10702b353e155	include
040000 tree acf43dca13bea6cedeefd709dfe178bc5ed5e597	sel4_arch_include
040000 tree 84589bceee6d839feef650f1ddef051decef5792	src