diff --git a/configs/AARCH64_ultra96v2_verified.cmake b/configs/AARCH64_ultra96v2_verified.cmake new file mode 100755 index 000000000..e73efdbf9 --- /dev/null +++ b/configs/AARCH64_ultra96v2_verified.cmake @@ -0,0 +1,11 @@ +#!/usr/bin/env -S cmake -P +# +# Copyright 2025, Proofcraft Pty Ltd +# +# SPDX-License-Identifier: GPL-2.0-only +# + +include(${CMAKE_CURRENT_LIST_DIR}/include/AARCH64_verified_include.cmake) + +set(KernelPlatform "zynqmp" CACHE STRING "") +set(KernelARMPlatform "ultra96v2" CACHE STRING "")