mirror of
https://github.com/olofk/serv.git
synced 2026-01-11 23:42:50 +00:00
Enable support for tickless timer driver
This commit is contained in:
parent
1268538f9d
commit
a6e4d82a30
@ -3,7 +3,7 @@
|
||||
|
||||
config SERV_TIMER
|
||||
bool "SERV Timer"
|
||||
# select TICKLESS_CAPABLE
|
||||
select TICKLESS_CAPABLE
|
||||
help
|
||||
This module implements a kernel device driver for the SERV
|
||||
timer driver. It provides the standard "system clock driver" interfaces.
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user