1 2 3 4 5
# This file is part of the coreboot project. # SPDX-License-Identifier: GPL-2.0-only source "src/security/intel/txt/Kconfig" source "src/security/intel/stm/Kconfig"