# SPDX-License-Identifier: GPL-2.0-only

source "src/security/intel/txt/Kconfig"
source "src/security/intel/stm/Kconfig"
source "src/security/intel/cbnt/Kconfig"