Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision d75dc0561c7ce077e18de03f15c1afa664e05d5e)
+++ HelenOS.config	(revision f9d0a86c86defda4d9f30fbb4f7217a75048bf8b)
@@ -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).