| .. |
|
include
|
trivial: update cmake style
|
2026-02-16 14:50:05 +11:00 |
|
AARCH64_bcm2711_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
AARCH64_hikey_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
AARCH64_imx8mm_verified.cmake
|
configs: remaining verified aarch64 configs
|
2025-02-28 14:39:57 +11:00 |
|
AARCH64_imx8mq_verified.cmake
|
configs: remaining verified aarch64 configs
|
2025-02-28 14:39:57 +11:00 |
|
AARCH64_imx93_verified.cmake
|
configs: remaining verified aarch64 configs
|
2025-02-28 14:39:57 +11:00 |
|
AARCH64_maaxboard_verified.cmake
|
configs: remaining verified aarch64 configs
|
2025-02-28 14:39:57 +11:00 |
|
AARCH64_MCS_verified.cmake
|
mcs: add cmake file for verified AARCH64 MCS
|
2026-06-12 08:46:13 +10:00 |
|
AARCH64_odroidc2_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
AARCH64_odroidc4_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
AARCH64_rockpro64_verified.cmake
|
configs: remaining verified aarch64 configs
|
2025-02-28 14:39:57 +11:00 |
|
AARCH64_stm32mp2_verified.cmake
|
configs: add stm32mp2 verified config
|
2026-07-02 13:49:01 +01:00 |
|
AARCH64_tqma_verified.cmake
|
configs: remaining verified aarch64 configs
|
2025-02-28 14:39:57 +11:00 |
|
AARCH64_tx1_verified.cmake
|
configs: remaining verified aarch64 configs
|
2025-02-28 14:39:57 +11:00 |
|
AARCH64_ultra96v2_verified.cmake
|
configs: mark Ultra96v2 as supported by the proofs
|
2025-04-01 09:57:28 +11:00 |
|
AARCH64_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
AARCH64_zynqmp_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
ARM_am335x_verified.cmake
|
configs: add remaining verified Arm configs
|
2025-10-10 14:36:43 +11:00 |
|
ARM_bcm2837_verified.cmake
|
configs: add remaining verified Arm configs
|
2025-10-10 14:36:43 +11:00 |
|
ARM_exynos4_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
ARM_exynos5410_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
ARM_exynos5422_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
ARM_hikey_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
ARM_HYP_exynos5_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
ARM_HYP_exynos5410_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
ARM_HYP_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
ARM_imx8mm_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
ARM_MCS_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
ARM_omap3_verified.cmake
|
configs: add remaining verified Arm configs
|
2025-10-10 14:36:43 +11:00 |
|
ARM_tk1_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
ARM_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
ARM_zynq7000_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
ARM_zynqmp_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
RISCV64_ariane_verified.cmake
|
configs: add all current RISC-V platforms
|
2026-07-02 13:49:01 +01:00 |
|
RISCV64_bananapi-f3_verified.cmake
|
configs: add all current RISC-V platforms
|
2026-07-02 13:49:01 +01:00 |
|
RISCV64_cheshire_verified.cmake
|
configs: add all current RISC-V platforms
|
2026-07-02 13:49:01 +01:00 |
|
RISCV64_hifive-p550_verified.cmake
|
configs: add all current RISC-V platforms
|
2026-07-02 13:49:01 +01:00 |
|
RISCV64_MCS_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
RISCV64_polarfire_verified.cmake
|
configs: add all current RISC-V platforms
|
2026-07-02 13:49:01 +01:00 |
|
RISCV64_rocketchip-zcu102_verified.cmake
|
configs: add all current RISC-V platforms
|
2026-07-02 13:49:01 +01:00 |
|
RISCV64_rocketchip_verified.cmake
|
configs: add all current RISC-V platforms
|
2026-07-02 13:49:01 +01:00 |
|
RISCV64_star64_verified.cmake
|
configs: add all current RISC-V platforms
|
2026-07-02 13:49:01 +01:00 |
|
RISCV64_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
|
seL4Config.cmake
|
Add support for ARM Cortex-A76
|
2026-07-07 13:30:25 +10:00 |
|
X64_verified.cmake
|
configs: additional verified platforms
|
2024-10-25 16:23:44 +11:00 |
973cbf4e08