Index: tools/config.py
===================================================================
--- tools/config.py	(revision f857e8b0d7e7691bf604feaaf406a4154472a44a)
+++ tools/config.py	(revision cfe485248470eaa3e68e053d375e4c11a7b486e9)
@@ -445,6 +445,14 @@
 def create_output(mkname, mcname, config, rules):
 	"Create output configuration"
-
-	timestamp_unix = int(time.time())
+	
+	varname_strip = 'CONFIG_STRIP_REVISION_INFO'
+	strip_rev_info = (varname_strip in config) and (config[varname_strip] == 'y')
+	
+	if strip_rev_info:
+		timestamp_unix = int(0)
+	else:
+		# TODO: Use commit timestamp instead of build time.
+		timestamp_unix = int(time.time())
+	
 	timestamp = time.strftime("%Y-%m-%d %H:%M:%S", time.localtime(timestamp_unix))
 	
@@ -458,5 +466,5 @@
 		sys.stderr.write("failed\n")
 	
-	if len(version) == 3:
+	if (not strip_rev_info) and (len(version) == 3):
 		revision = version[1]
 		if version[0] != 1: