| menu "Timer Support" |
| |
| config TIMER |
| bool "Enable driver model for timer drivers" |
| depends on DM |
| help |
| Enable driver model for timer access. It uses the same API as |
| lib/time.c, but now implemented by the uclass. The first timer |
| will be used. The timer is usually a 32 bits free-running up |
| counter. There may be no real tick, and no timer interrupt. |
| |
| config ALTERA_TIMER |
| bool "Altera timer support" |
| depends on TIMER |
| help |
| Select this to enable a timer for Altera devices. Please find |
| details on the "Embedded Peripherals IP User Guide" of Altera. |
| |
| config SANDBOX_TIMER |
| bool "Sandbox timer support" |
| depends on SANDBOX && TIMER |
| help |
| Select this to enable an emulated timer for sandbox. It gets |
| time from host os. |
| |
| config X86_TSC_TIMER |
| bool "x86 Time-Stamp Counter (TSC) timer support" |
| depends on TIMER && X86 |
| default y if X86 |
| help |
| Select this to enable Time-Stamp Counter (TSC) timer for x86. |
| |
| endmenu |