Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision 5cbb170bf59645e36db43f56cfde6eb73e70c204)
+++ HelenOS.config	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -345,5 +345,5 @@
 
 % Simics SMP Hack
-! [PROCESSOR=sun4v] CONFIG_SIMICS_SMP_HACK (y/n)
+! [PROCESSOR=sun4v&CONFIG_SMP=y] CONFIG_SIMICS_SMP_HACK (n/y)
 
 % Support for userspace debuggers