1# SPDX-License-Identifier: GPL-2.0-only 2 3config SOC_TEGRA_POWERGATE_BPMP 4 def_bool y 5 depends on PM_GENERIC_DOMAINS 6 depends on TEGRA_BPMP 7