From 5d5265bca43e53c238ad46ad7422c07bddd4c9ee Mon Sep 17 00:00:00 2001 From: Jean-Paul Etienne Date: Thu, 9 Feb 2017 00:26:26 +0100 Subject: [PATCH] riscv32: timer: disable riscv_machine_timer driver by default for riscv32 Enabling the riscv_machine_timer driver by default for riscv32 causes compilation issues on riscv32 boards (like zedboard_pulpino) not supporting it. Boards supporting the driver enable it via their respective config file. Change-Id: Ieb0d25fa339834fd386ae2725f40b6b7b72dc52b Signed-off-by: Jean-Paul Etienne --- drivers/timer/Kconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/drivers/timer/Kconfig b/drivers/timer/Kconfig index ef5d87afd6..b5629ebbc5 100644 --- a/drivers/timer/Kconfig +++ b/drivers/timer/Kconfig @@ -158,7 +158,7 @@ config PULPINO_TIMER config RISCV_MACHINE_TIMER bool "RISCV Machine Timer" - default y + default n depends on RISCV32 help This module implements a kernel device driver for the generic RISCV machine