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 a 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 26config X86_TSC_TIMER 27 bool "x86 Time-Stamp Counter (TSC) timer support" 28 depends on TIMER && X86 29 default y if X86 30 help 31 Select this to enable Time-Stamp Counter (TSC) timer for x86. 32 33endmenu 34