1 CONFIG_SMP=n 2 CONFIG_PREEMPT_NONE=y 3 CONFIG_PREEMPT_VOLUNTARY=n 4 CONFIG_PREEMPT=n 5 CONFIG_PREEMPT_DYNAMIC=n 6 #CHECK#CONFIG_TINY_RCU=y 7 CONFIG_HZ_PERIODIC=y 8 CONFIG_NO_HZ_IDLE=n 9 CONFIG_NO_HZ_FULL=n 10 CONFIG_PROVE_LOCKING=y 11 #CHECK#CONFIG_PROVE_RCU=y 12 CONFIG_DEBUG_LOCK_ALLOC=y 13 CONFIG_DEBUG_OBJECTS=y 14 CONFIG_DEBUG_OBJECTS_RCU_HEAD=y 15 CONFIG_DEBUG_ATOMIC_SLEEP=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.