From 18fef090ac915f1b63452e71dd8de20330f2a53a Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Fri, 2 Jun 2023 17:36:16 +1000 Subject: [PATCH] configs: pick exynos5 config from exynos5-ver Use `ARM_HYP_verified.cmake` from branch exynos5-ver as `ARM_HYP_exynos5_verified.cmake` on master, so both can be used by verification CI without switching branches. Signed-off-by: Gerwin Klein --- configs/ARM_HYP_exynos5_verified.cmake | 27 ++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100755 configs/ARM_HYP_exynos5_verified.cmake diff --git a/configs/ARM_HYP_exynos5_verified.cmake b/configs/ARM_HYP_exynos5_verified.cmake new file mode 100755 index 000000000..398c31968 --- /dev/null +++ b/configs/ARM_HYP_exynos5_verified.cmake @@ -0,0 +1,27 @@ +#!/usr/bin/env -S cmake -P +# +# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) +# +# SPDX-License-Identifier: GPL-2.0-only +# + +# If this file is executed then build the kernel.elf and kernel_all_pp.c file +include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake) +cmake_script_build_kernel() + +set(KernelPlatform "exynos5" CACHE STRING "") +set(KernelARMPlatform "exynos5422" CACHE STRING "") +set(KernelSel4Arch "arm_hyp" CACHE STRING "") +set(KernelAArch32FPUEnableContextSwitch OFF CACHE BOOL "") +set(KernelVerificationBuild ON CACHE BOOL "") +set(KernelIPCBufferLocation "threadID_register" CACHE STRING "") +set(KernelMaxNumNodes "1" CACHE STRING "") +set(KernelOptimisation "-O2" CACHE STRING "") +set(KernelRetypeFanOutLimit "256" CACHE STRING "") +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(KernelRootCNodeSizeBits 19 CACHE STRING "") +set(KernelMaxNumBootinfoUntypedCaps 50 CACHE STRING "")