Cross Reference: /seL4-refos-master/libs/libsel4utils/sel4_arch

Name		Date	Size
..		25-Jul-2019	9
aarch32/	H	25-Jul-2019	3
aarch64/	H	25-Jul-2019	3
arm_hyp/	H	25-Jul-2019	3
ia32/	H	25-Jul-2019	3
x86_64/	H	25-Jul-2019	3