| commit | 5d5265bca43e53c238ad46ad7422c07bddd4c9ee | [log] [tgz] |
|---|---|---|
| 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>