Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision 1cb092db568d2b204d6707d983f35e6d3828d3a1)
+++ HelenOS.config	(revision 6db1e2757ba0d346586fc198f114613b11e79a10)
@@ -329,4 +329,7 @@
 ! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
 
+% Strip binaries
+! [CONFIG_DEBUG=n] CONFIG_STRIP_BINARIES (y)
+
 % Lazy FPU context switching
 ! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)