cmake: allow FPU on aarch32 verified configuration

"ARM" verification target now includes FPU. Signed-off-by: Rafal Kolanski <rafal.kolanski@data61.csiro.au>
switch ARM verified config to iMX8 + FPU
2020-12-04 11:36:21 +11:00 · 2020-12-04 11:36:21 +11:00
2 changed files with 4 additions and 2 deletions
--- a/configs/ARM_verified.cmake
+++ b/configs/ARM_verified.cmake
@@ -9,7 +9,9 @@
 include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake)
 cmake_script_build_kernel()

-set(KernelPlatform "imx6" CACHE STRING "")
+set(KernelPlatform "imx8mm-evk" CACHE STRING "")
+set(KernelSel4Arch "aarch32" CACHE STRING "")
+set(KernelAArch32FPUEnableContextSwitch ON CACHE BOOL "")
 set(KernelVerificationBuild ON CACHE BOOL "")
 set(KernelIPCBufferLocation "threadID_register" CACHE STRING "")
 set(KernelMaxNumNodes "1" CACHE STRING "")
--- a/src/arch/arm/config.cmake
+++ b/src/arch/arm/config.cmake
@@ -163,7 +163,7 @@ config_option(
        operations in a multithreading environment, instead of relying on \
        software emulation of FPU/VFP from the C library (e.g. mfloat-abi=soft)."
    DEFAULT ON
-    DEPENDS "KernelSel4ArchAarch32;NOT KernelArchArmV6;NOT KernelVerificationBuild"
+    DEPENDS "KernelSel4ArchAarch32;NOT KernelArchArmV6"
    DEFAULT_DISABLED OFF
 )