From 8b0f154b8833cb4bbd94e481b7f5a93aad207ce6 Mon Sep 17 00:00:00 2001
From: Anas Nashif <anas.nashif@intel.com>
Date: Sun, 10 May 2015 18:44:45 -0400
Subject: [PATCH] Kbuild: add PERFORMANCE_METRICS config entry

Change-Id: Iec8cc99c7046197aea95bd54da475db75f7c16e0

Signed-off-by: Anas Nashif <anas.nashif@intel.com>
---
 Kconfig | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/Kconfig b/Kconfig
index 9cf87d14aee..ef71416c6c4 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