RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

switch ARM_HYP verified config to Exynos5

Browse Source 
ARM_HYP_verified.cmake (used for verification target "ARM_HYP") now
targets Exynos5422.

Signed-off-by: Corey Lewis <corey.lewis@unsw.edu.au>
This commit is contained in:
Corey Lewis
2022-01-31 12:07:38 +11:00
committed by Rafal Kolanski
parent 305bfafd45
commit 5cf20448b8
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
configs/ARM_HYP_verified.cmake
View File

@@ -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 "")