portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

CMake: remove deprecated variables

Browse source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2021-02-01 18:45:22 +01:00
parent f46df2ad6d
commit e62bd5b31d
1 changed files with 0 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
configs/seL4Config.cmake
View file

@ -42,16 +42,6 @@ macro(declare_seL4_arch sel4_arch)
"x86;KernelArchX86;ARCH_X86;KernelSel4ArchX86_64 OR KernelSel4ArchIA32"
)
# The following config options are legacy and can be removed if they
# aren't used anywhere anymore.
if(KernelArchARM)
config_set(KernelArmSel4Arch ARM_SEL4_ARCH "${KernelSel4Arch}")
elseif(KernelArchRiscV)
config_set(KernelRiscVSel4Arch RISCV_SEL4_ARCH "${KernelSel4Arch}")
elseif(KernelArchX86)
config_set(KernelX86Sel4Arch X86_SEL4_ARCH "${KernelSel4Arch}")
endif()
# arm-hyp masquerades as an aarch32 build
if(KernelSel4ArchArmHyp)
config_set(KernelSel4ArmHypAarch32 ARCH_AARCH32 ON)