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