# CONFIG_RTC_DRV_TEGRA is not set
