configs: verified 32-bit config for zynqmp

AArch32 zynqmp config with:
- verified settings
- FPU off
- NUM_DOMAINS = 1

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

configs/ARM_verified.cmake

@@ -9,7 +9,8 @@
 include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake)
 cmake_script_build_kernel()
 
-set(KernelPlatform "imx6" CACHE STRING "")
+set(KernelPlatform "zynqmp" CACHE STRING "")
+set(KernelSel4Arch "aarch32" CACHE STRING "")
 set(KernelVerificationBuild ON CACHE BOOL "")
 set(KernelIPCBufferLocation "threadID_register" CACHE STRING "")
 set(KernelMaxNumNodes "1" CACHE STRING "")
@@ -19,6 +20,7 @@ set(KernelBenchmarks "none" CACHE STRING "")
 set(KernelDangerousCodeInjection OFF CACHE BOOL "")
 set(KernelFastpath ON CACHE BOOL "")
 set(KernelPrinting OFF CACHE BOOL "")
-set(KernelNumDomains 16 CACHE STRING "")
+set(KernelNumDomains 1 CACHE STRING "")
 set(KernelMaxNumBootinfoUntypedCap 166 CACHE STRING "")
+set(KernelAArch32FPUEnableContextSwitch OFF CACHE BOOL "")
 include(${CMAKE_CURRENT_LIST_DIR}/seL4Config.cmake)