# SPDX-License-Identifier: GPL-2.0-only
source "drivers/arm/spe/Kconfig"
