Kbuild: add PERFORMANCE_METRICS config entry

Change-Id: Iec8cc99c7046197aea95bd54da475db75f7c16e0 Signed-off-by: Anas Nashif <anas.nashif@intel.com>
10 years ago · 8b0f154b88
1 changed files with 10 additions and 1 deletions
--- a/11
+++ b/11
@ -54,11 +54,20 @@ endmenu
				@@ -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