# CONFIG_TEGRA_WATCHDOG is not set
