diff --git a/src/soc/nvidia/tegra132/soc.c b/src/soc/nvidia/tegra132/soc.c index 658a3f1ec7..731458f056 100644 --- a/src/soc/nvidia/tegra132/soc.c +++ b/src/soc/nvidia/tegra132/soc.c @@ -23,6 +23,7 @@ #include #include #include +#include #include static void soc_read_resources(device_t dev) @@ -57,6 +58,7 @@ static void soc_read_resources(device_t dev) static void soc_init(device_t dev) { printk(BIOS_INFO, "CPU: Tegra132\n"); + clock_init_arm_generic_timer(); } static void soc_noop(device_t dev)