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