summaryrefslogtreecommitdiff
path: root/Kconfig
diff options
context:
space:
mode:
authorAnas Nashif <anas.nashif@intel.com>2015-05-10 18:44:45 -0400
committerAnas Nashif <anas.nashif@intel.com>2016-02-05 20:14:08 -0500
commit8b0f154b8833cb4bbd94e481b7f5a93aad207ce6 (patch)
treeb3621372a8e274546486e5525a80a6cf4d36dac2 /Kconfig
parent848c5c83a3e9f252c65b06a2e87791b8ab11566e (diff)
Kbuild: add PERFORMANCE_METRICS config entry
Change-Id: Iec8cc99c7046197aea95bd54da475db75f7c16e0 Signed-off-by: Anas Nashif <anas.nashif@intel.com>
Diffstat (limited to 'Kconfig')
-rw-r--r--Kconfig11
1 files changed, 10 insertions, 1 deletions
diff --git a/Kconfig b/Kconfig
index 9cf87d14a..ef71416c6 100644
--- a/Kconfig
+++ b/Kconfig
@@ -54,11 +54,20 @@ endmenu
menu "System Monitoring Options"
+
+config PERFORMANCE_METRICS
+ bool
+ prompt "Enable performance metrics"
+ default n
+ depends on EXPERIMENTAL
+ help
+ Enable Performance Metrics.
+
config BOOT_TIME_MEASUREMENT
bool
prompt "Boot time measurements [EXPERIMENTAL]"
default n
- depends on EXPERIMENTAL
+ depends on EXPERIMENTAL && PERFORMANCE_METRICS
help
This option enables the recording of timestamps during system start
up. The global variable __start_tsc records the time kernel begins