Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision d75dc0561c7ce077e18de03f15c1afa664e05d5e)
+++ HelenOS.config	(revision d470ec88d38377c7e43945d185aa298311d37909)
@@ -605,4 +605,7 @@
 ! CONFIG_STRIP_BINARIES (n/y)
 
+% Strip revision information (helpful when comparing outputs)
+! CONFIG_STRIP_REVISION_INFO (n/y)
+
 % Optimization level
 @ "3" Level 3 (recommended).