xref: /rk3399_rockchip-uboot/drivers/timer/Kconfig (revision 8961dac970ce9de35d2a14008184d815ee62e64c)
1menu "Timer Support"
2
3config TIMER
4	bool "Enable Driver Model for Timer drivers"
5	depends on DM
6	help
7	  Enable driver model for Timer access. It uses the same API as
8	  lib/time.c. But now implemented by the uclass. The first timer
9	  will be used. The timer is usually a 32 bits free-running up
10	  counter. There may be no real tick, and no timer interrupt.
11
12config ALTERA_TIMER
13	bool "Altera Timer support"
14	depends on TIMER
15	help
16	  Select this to enable an timer for Altera devices. Please find
17	  details on the "Embedded Peripherals IP User Guide" of Altera.
18
19config SANDBOX_TIMER
20	bool "Sandbox Timer support"
21	depends on SANDBOX && TIMER
22	help
23	  Select this to enable an emulated timer for sandbox. It gets
24	  time from host os.
25
26endmenu
27