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

source "drivers/platform/arm64/ec/Kconfig"
source "drivers/platform/arm64/mpam/Kconfig"
