1 CONFIG_ARCH_HAS_TICK_BROADCAST=y
3 CONFIG_CMDLINE_OVERRIDE=y
6 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
7 CONFIG_GENERIC_TBSYNC=y
8 # CONFIG_GPIO_MAX77620 is not set
9 CONFIG_HAVE_RCU_TABLE_FREE=y
13 CONFIG_LEDS_LP55XX_COMMON=y
14 CONFIG_LOCK_SPIN_ON_OWNER=y
15 # CONFIG_MAX77620_WATCHDOG is not set
20 CONFIG_MUTEX_SPIN_ON_OWNER=y
21 CONFIG_NET_FLOW_LIMIT=y
24 CONFIG_RCU_STALL_COMMON=y
28 # CONFIG_RTC_DRV_MAX77686 is not set
29 CONFIG_RWSEM_SPIN_ON_OWNER=y