Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision 81983e397478462b29f24f7beae41f423f0fb920)
+++ HelenOS.config	(revision 153fbf9ea95edd4de050fd53944c6b627ad4f88b)
@@ -344,4 +344,7 @@
 ! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
 
+% Simics SMP Hack
+! [PROCESSOR=sun4v] CONFIG_SIMICS_SMP_HACK (y/n)
+
 % Support for userspace debuggers
 ! CONFIG_UDEBUG (y/n)