diff options
Diffstat (limited to 'src/arch/x86/Kconfig')
| -rw-r--r-- | src/arch/x86/Kconfig | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/arch/x86/Kconfig b/src/arch/x86/Kconfig index c1390de145..f5bbd7827e 100644 --- a/src/arch/x86/Kconfig +++ b/src/arch/x86/Kconfig @@ -271,3 +271,18 @@ config ACPI_CPU_STRING Sets the ACPI name string in the processor scope as written by the acpigen function. Default is \_PR.CPxx. Note that you need the \ escape character in the string. + +config COLLECT_TIMESTAMPS_NO_TSC + bool + default n + depends on COLLECT_TIMESTAMPS + help + Use a non-TSC platform-dependent source for timestamps. + +config COLLECT_TIMESTAMPS_TSC + bool + default y if !COLLECT_TIMESTAMPS_NO_TSC + default n + depends on COLLECT_TIMESTAMPS + help + Use the TSC as the timestamp source. |