Cross Reference: /seL4-test-master/kernel/configs/

Name		Date	Size
..		29-Nov-2020	30
ARM_HYP_verified.cmake	H A D	11-Mar-2020	1 KiB
ARM_MCS_verified.cmake	H A D	03-Aug-2020	1,019
ARM_verified.cmake	H A D	11-Mar-2020	907
RISCV64_MCS_verified.cmake	H A D	07-Sep-2020	1.1 KiB
RISCV64_verified.cmake	H A D	20-Mar-2020	1 KiB
seL4Config.cmake	H A D	03-Nov-2020	11.6 KiB
X64_verified.cmake	H A D	11-Mar-2020	1 KiB