blame | history | raw
hc
2023-08-30 862c27fc9920c83318c784bfdadf43a65df1ec8f 
1
2
3
4
5
6
7
8
9
10

CONFIG_SMP=y


CONFIG_NR_CPUS=2


CONFIG_HOTPLUG_CPU=y


CONFIG_PREEMPT_NONE=n


CONFIG_PREEMPT_VOLUNTARY=n


CONFIG_PREEMPT=y


CONFIG_DEBUG_LOCK_ALLOC=y


CONFIG_PROVE_LOCKING=y


#CHECK#CONFIG_PROVE_RCU=y


CONFIG_RCU_EXPERT=y