Gerwin Klein 99a4272608 config: AARCH64 config for verification ...

For ongoing verification of seL4 on AArch64. This config has SMMU and
hypervisor support enabled. AArch64 also implies FPU support is on.
The target board for now is the TX2, which has an SMMU.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

2022-01-19 09:32:50 +11:00

..

AARCH64_verified.cmake

config: AARCH64 config for verification

2022-01-19 09:32:50 +11:00

ARM_HYP_verified.cmake

cmake: Add seL4Config.cmake include CMakeLists.txt

2021-08-19 09:24:31 +10:00

ARM_MCS_verified.cmake

Add 'x' bit to *verified.cmake

2021-09-03 14:39:28 +10:00

ARM_verified.cmake

cmake: Add seL4Config.cmake include CMakeLists.txt

2021-08-19 09:24:31 +10:00

RISCV64_MCS_verified.cmake

Add 'x' bit to *verified.cmake

2021-09-03 14:39:28 +10:00

RISCV64_verified.cmake

Add 'x' bit to *verified.cmake

2021-09-03 14:39:28 +10:00

seL4Config.cmake

ARMv6: Remove architecture support

2021-09-30 18:07:19 +10:00

X64_verified.cmake

cmake: Add seL4Config.cmake include CMakeLists.txt

2021-08-19 09:24:31 +10:00