1# SPDX-License-Identifier: GPL-2.0-only 2# 3# Amlogic Secure Monitor driver 4# 5config MESON_SM 6 bool 7 default ARCH_MESON 8 depends on ARM64_4K_PAGES 9 help 10 Say y here to enable the Amlogic secure monitor driver 11