Thomas Chou | c8a7ba9 | 2015-10-09 13:46:34 +0800 | [diff] [blame] | 1 | menu "Timer Support" |
| 2 | |
| 3 | config TIMER |
Bin Meng | 435ae76 | 2015-11-13 00:11:14 -0800 | [diff] [blame] | 4 | bool "Enable driver model for timer drivers" |
Thomas Chou | c8a7ba9 | 2015-10-09 13:46:34 +0800 | [diff] [blame] | 5 | depends on DM |
| 6 | help |
Bin Meng | 435ae76 | 2015-11-13 00:11:14 -0800 | [diff] [blame] | 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 |
Thomas Chou | c8a7ba9 | 2015-10-09 13:46:34 +0800 | [diff] [blame] | 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 | |
Thomas Chou | a54915d | 2015-10-22 22:28:53 +0800 | [diff] [blame] | 12 | config ALTERA_TIMER |
Bin Meng | 435ae76 | 2015-11-13 00:11:14 -0800 | [diff] [blame] | 13 | bool "Altera timer support" |
Thomas Chou | a54915d | 2015-10-22 22:28:53 +0800 | [diff] [blame] | 14 | depends on TIMER |
| 15 | help |
Bin Meng | 435ae76 | 2015-11-13 00:11:14 -0800 | [diff] [blame] | 16 | Select this to enable a timer for Altera devices. Please find |
Thomas Chou | a54915d | 2015-10-22 22:28:53 +0800 | [diff] [blame] | 17 | details on the "Embedded Peripherals IP User Guide" of Altera. |
| 18 | |
Thomas Chou | 9961a0b | 2015-10-30 15:35:52 +0800 | [diff] [blame] | 19 | config SANDBOX_TIMER |
Bin Meng | 435ae76 | 2015-11-13 00:11:14 -0800 | [diff] [blame] | 20 | bool "Sandbox timer support" |
Thomas Chou | 9961a0b | 2015-10-30 15:35:52 +0800 | [diff] [blame] | 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 | |
Bin Meng | 7030f27 | 2015-11-13 00:11:24 -0800 | [diff] [blame^] | 26 | config 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 | |
Thomas Chou | c8a7ba9 | 2015-10-09 13:46:34 +0800 | [diff] [blame] | 33 | endmenu |