michaelh/zephyr
1
0
Fork 0
Code Releases Activity

timer: riscv_machine_timer driver depends on SOC_FAMILY_RISCV_PRIVILEGE

Browse source 
Change-Id: I5cbb2845979f88eb005dfd7e0b1714b6fe6167d3
Signed-off-by: Jean-Paul Etienne <fractalclone@gmail.com>
This commit is contained in:
Jean-Paul Etienne 2017-03-14 22:14:52 +01:00 • committed by Anas Nashif
commit 1451f82aeb
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
drivers/timer/Kconfig
View file

@ -171,7 +171,7 @@ config PULPINO_TIMER
config RISCV_MACHINE_TIMER
bool "RISCV Machine Timer"
default n
depends on RISCV32
depends on SOC_FAMILY_RISCV_PRIVILEGE
help
This module implements a kernel device driver for the generic RISCV machine
timer driver. It provides the standard "system clock driver" interfaces.