switch ARM_HYP verified config to Exynos5

ARM_HYP_verified.cmake (used for verification target "ARM_HYP") now targets Exynos5422. Signed-off-by: Corey Lewis <corey.lewis@unsw.edu.au>
2023-06-02 08:35:00 +10:00
1 changed files with 2 additions and 1 deletions
--- a/configs/ARM_HYP_verified.cmake
+++ b/configs/ARM_HYP_verified.cmake
@@ -9,7 +9,8 @@
 include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake)
 cmake_script_build_kernel()

-set(KernelPlatform "tk1" CACHE STRING "")
+set(KernelPlatform "exynos5" CACHE STRING "")
+set(KernelARMPlatform "exynos5422" CACHE STRING "")
 set(KernelSel4Arch "arm_hyp" CACHE STRING "")
 set(KernelVerificationBuild ON CACHE BOOL "")
 set(KernelIPCBufferLocation "threadID_register" CACHE STRING "")