# SPDX-License-Identifier: GPL-2.0
# COPYRIGHT(C) 2023 Samsung Electronics Co., Ltd. All Right Reserved.

if [ -f ${ROOT_DIR}/${KERNEL_DIR}/build.config.sec_env ]; then
	. ${ROOT_DIR}/${KERNEL_DIR}/build.config.sec_env
fi

function build_defconfig_sec_fragments() {
	apply_defconfig_fragment ${KERNEL_DIR}/arch/${ARCH}/configs/oem/${MSM_ARCH}_sec_defconfig \
			oem/${MSM_ARCH}-gki_defconfig

	if [ -n "${TARGET_BUILD_VARIANT}" ] && [ "${TARGET_BUILD_VARIANT}" != "user" ]; then
		apply_defconfig_fragment ${KERNEL_DIR}/arch/${ARCH}/configs/oem/${MSM_ARCH}_sec_${TARGET_BUILD_VARIANT}_defconfig \
				oem/${MSM_ARCH}-gki_defconfig
	fi
}
build_defconfig_sec_fragments