drivers/reset/tegra/Kconfig

# SPDX-License-Identifier: GPL-2.0-only
config RESET_TEGRA_BPMP
	bool "Tegra BPMP Reset Driver" if COMPILE_TEST
	default TEGRA_BPMP