1 CONFIG_SMP=y 2 CONFIG_NR_CPUS=4 3 CONFIG_HOTPLUG_CPU=y 4 CONFIG_PREEMPT_NONE=n 5 CONFIG_PREEMPT_VOLUNTARY=n 6 CONFIG_PREEMPT=y 7 CONFIG_DEBUG_LOCK_ALLOC=y 8 CONFIG_PROVE_LOCKING=y 9 #CHECK#CONFIG_PROVE_RCU=y 10 CONFIG_TASKS_RCU=y 11 CONFIG_RCU_EXPERT=y
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.