Index of /debian/sel4/sel4-12.0.0/configs/

../
ARM_HYP_verified.cmake                             06-Nov-2020 07:29                1056
ARM_MCS_verified.cmake                             06-Nov-2020 07:29                1019
ARM_verified.cmake                                 06-Nov-2020 07:29                 907
RISCV64_MCS_verified.cmake                         06-Nov-2020 07:29                1146
RISCV64_verified.cmake                             06-Nov-2020 07:29                1034
X64_verified.cmake                                 06-Nov-2020 07:29                1034
seL4Config.cmake                                   06-Nov-2020 07:29               11882