1ec8f24b7SThomas Gleixner# SPDX-License-Identifier: GPL-2.0-only 22c4ddb21SCarlo Caione# 32c4ddb21SCarlo Caione# Amlogic Secure Monitor driver 42c4ddb21SCarlo Caione# 52c4ddb21SCarlo Caioneconfig MESON_SM 62c4ddb21SCarlo Caione bool 72c4ddb21SCarlo Caione default ARCH_MESON 82c4ddb21SCarlo Caione depends on ARM64_4K_PAGES 92c4ddb21SCarlo Caione help 102c4ddb21SCarlo Caione Say y here to enable the Amlogic secure monitor driver 11