Cross Reference: /seL4-l4v-master/seL4/configs/

Name		Date	Size
..		30-Nov-2020	30
ARM_HYP_verified.cmake	H A D	09-Apr-2020	1 KiB
ARM_MCS_verified.cmake	H A D	06-Aug-2020	1,019
ARM_verified.cmake	H A D	09-Apr-2020	907
RISCV64_MCS_verified.cmake	H A D	08-Sep-2020	1.1 KiB
RISCV64_verified.cmake	H A D	09-Apr-2020	1 KiB
seL4Config.cmake	H A D	05-Nov-2020	11.6 KiB
X64_verified.cmake	H A D	09-Apr-2020	1 KiB