Index of /debian/sel4/sel4-10.1.1/configs/

../
ARM_HYP_verified.cmake                             11-Nov-2018 18:17                1143
ARM_verified.cmake                                 11-Nov-2018 18:17                 992
RISCV64_verified.cmake                             11-Nov-2018 18:17                1077
X64_verified.cmake                                 11-Nov-2018 18:17                 983