5d5265bca43e53c238ad46ad7422c07bddd4c9ee - third_party/github/zephyrproject-rtos/zephyr

commit: 5d5265bca43e53c238ad46ad7422c07bddd4c9ee
[log]
author: Jean-Paul Etienne <fractalclone@gmail.com>
Thu Feb 09 00:26:26 2017 +0100
committer: Jean-Paul Etienne <fractalclone@gmail.com>
Thu Feb 09 00:26:26 2017 +0100
tree: 5fcbc7c4a21a4724f5ee113cc68b31a67a5b6e6d
parent: d81e033044a55e5e8c3a1068d1d9d86a4a0774bb [diff]

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 <fractalclone@gmail.com>

drivers/timer/Kconfig[diff]

1 file changed

tree: 5fcbc7c4a21a4724f5ee113cc68b31a67a5b6e6d