summaryrefslogtreecommitdiff
path: root/src/arch/x86/Kconfig
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch/x86/Kconfig')
-rw-r--r--src/arch/x86/Kconfig15
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.