| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 19-Nov-2021 | - | ||||
| ARM_HYP_verified.cmake | A D | 19-Nov-2021 | 1,004 | 27 | 17 | |
| ARM_MCS_verified.cmake | A D | 19-Nov-2021 | 967 | 26 | 16 | |
| ARM_verified.cmake | A D | 19-Nov-2021 | 855 | 24 | 14 | |
| RISCV64_MCS_verified.cmake | A D | 19-Nov-2021 | 1.1 KiB | 31 | 21 | |
| RISCV64_verified.cmake | A D | 19-Nov-2021 | 1 KiB | 29 | 19 | |
| X64_verified.cmake | A D | 19-Nov-2021 | 982 | 27 | 17 | |
| seL4Config.cmake | A D | 19-Nov-2021 | 9.6 KiB | 260 | 235 |