diff --git a/src/arch/stm32f446re-nucleo/Kconfig b/src/arch/stm32f446re-nucleo/Kconfig
index df64674b1db6d07931f1bba3c7a3aefbb7ca41a6..19e02edad63a2896c2e9b24a92c3659e516dda14 100644
--- a/src/arch/stm32f446re-nucleo/Kconfig
+++ b/src/arch/stm32f446re-nucleo/Kconfig
@@ -2,9 +2,9 @@ config arch_stm32f446re_nucleo_driver_counter
 bool "Cycle Counter"
 select meta_driver_counter
 
-config arch_stm32f446re_nucleo_driver_timer
-bool "Timer with Interrupts"
-select meta_driver_timer
+#config arch_stm32f446re_nucleo_driver_timer
+#bool "Timer with Interrupts"
+#select meta_driver_timer
 
 config arch_stm32f446re_nucleo_driver_uptime
 bool "Uptime Counter"
diff --git a/src/arch/stm32f446re-nucleo/Makefile.inc b/src/arch/stm32f446re-nucleo/Makefile.inc
index 578b9297b91ece527a4e2fa218c6d39d51ac170b..7a11cf57c2f67895fb778d19f2a43600f1c184f6 100644
--- a/src/arch/stm32f446re-nucleo/Makefile.inc
+++ b/src/arch/stm32f446re-nucleo/Makefile.inc
@@ -35,9 +35,9 @@ ifneq ($(findstring counter,${arch_drivers}), )
 	CONFIG_arch_stm32f446re_nucleo_driver_counter = y
 endif
 
-ifneq ($(findstring timer,${arch_drivers}), )
-	CONFIG_arch_stm32f446re_nucleo_driver_timer = y
-endif
+#ifneq ($(findstring timer,${arch_drivers}), )
+#	CONFIG_arch_stm32f446re_nucleo_driver_timer = y
+#endif
 
 ifeq (${timer_s}, 1)
 	CONFIG_arch_stm32f446re_nucleo_driver_uptime = y
@@ -49,9 +49,9 @@ ifdef CONFIG_arch_stm32f446re_nucleo_driver_counter
 	CXX_TARGETS += src/arch/stm32f446re-nucleo/driver/counter.cc
 endif
 
-ifdef CONFIG_arch_stm32f446re_nucleo_driver_timer
-	CXX_TARGETS += src/arch/stm32f446re-nucleo/driver/timer.cc
-endif
+#ifdef CONFIG_arch_stm32f446re_nucleo_driver_timer
+#	CXX_TARGETS += src/arch/stm32f446re-nucleo/driver/timer.cc
+#endif
 
 ifdef CONFIG_arch_stm32f446re_nucleo_driver_uptime
 	COMMON_FLAGS += -DTIMER_S