4 # CONFIG_CPU_MIPS32_R1 is not set
6 # CONFIG_KEXEC is not set
7 CONFIG_MUTEX_SPIN_ON_OWNER=y
9 CONFIG_RCU_STALL_COMMON=y
14 CONFIG_SYS_SUPPORTS_HOTPLUG_CPU=y
15 CONFIG_SYS_SUPPORTS_SMP=y
17 CONFIG_USE_GENERIC_SMP_HELPERS=y
18 CONFIG_WEAK_ORDERING=y