# SPDX-License-Identifier: GPL-2.0-only
#
# Amlogic Secure Monitor driver
config MESON_SM
bool
default ARCH_MESON
depends on ARM64_4K_PAGES
help
Say y here to enable the Amlogic secure monitor driver