18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only
28c2ecf20Sopenharmony_ci#
38c2ecf20Sopenharmony_ci# Amlogic Secure Monitor driver
48c2ecf20Sopenharmony_ci#
58c2ecf20Sopenharmony_ciconfig MESON_SM
68c2ecf20Sopenharmony_ci	bool
78c2ecf20Sopenharmony_ci	default ARCH_MESON
88c2ecf20Sopenharmony_ci	depends on ARM64_4K_PAGES
98c2ecf20Sopenharmony_ci	help
108c2ecf20Sopenharmony_ci	  Say y here to enable the Amlogic secure monitor driver
11