2 files changed, 1 insertions, 11 deletions
diff --git a/src/soc/intel/quark/Kconfig b/src/soc/intel/quark/Kconfig
index 75f13543ca..461d230371 100644
--- a/src/soc/intel/quark/Kconfig
+++ b/src/soc/intel/quark/Kconfig
@@ -36,6 +36,7 @@ config CPU_SPECIFIC_OPTIONS
 	select SPI_FLASH
 	select UART_OVERRIDE_REFCLK
 	select UDELAY_TSC
+	select TSC_MONOTONIC_TIMER
 	select UNCOMPRESSED_RAMSTAGE
 	select USE_MARCH_586
 	select NO_SMM
diff --git a/src/soc/intel/quark/tsc_freq.c b/src/soc/intel/quark/tsc_freq.c
index e6d0369eff..fa5bd67efe 100644
--- a/src/soc/intel/quark/tsc_freq.c
+++ b/src/soc/intel/quark/tsc_freq.c
@@ -14,21 +14,10 @@
  * GNU General Public License for more details.
  */
 
-#include <stdint.h>
-#include <cpu/x86/msr.h>
 #include <cpu/x86/tsc.h>
-#include <timer.h>
 
 unsigned long tsc_freq_mhz(void)
 {
 	/* CPU freq = 400 MHz */
 	return 400;
 }
-
-void timer_monotonic_get(struct mono_time *mt)
-{
-	uint64_t tsc_value;
-
-	tsc_value = rdtscll();
-	mt->microseconds = tsc_value / tsc_freq_mhz();
-}