diff --git a/src/soc/nvidia/tegra132/Kconfig b/src/soc/nvidia/tegra132/Kconfig index 66c7193000..f89c3680c5 100644 --- a/src/soc/nvidia/tegra132/Kconfig +++ b/src/soc/nvidia/tegra132/Kconfig @@ -6,6 +6,7 @@ config SOC_NVIDIA_TEGRA132 select ARCH_RAMSTAGE_ARM_V8_64 select ARM_LPAE select BOOTBLOCK_CONSOLE + select HAVE_MONOTONIC_TIMER select HAVE_HARD_RESET select HAVE_UART_SPECIAL select HAVE_UART_MEMORY_MAPPED