mirror of
https://github.com/linuxkit/linuxkit.git
synced 2025-09-18 16:35:29 +00:00
23 lines
631 B
Plaintext
23 lines
631 B
Plaintext
CONFIG_RWSEM_GENERIC_SPINLOCK=y
|
|
# CONFIG_RWSEM_XCHGADD_ALGORITHM is not set
|
|
CONFIG_PREEMPT_RCU=y
|
|
CONFIG_TASKS_RCU=y
|
|
CONFIG_SLUB_DEBUG=y
|
|
# CONFIG_SLUB_MEMCG_SYSFS_ON is not set
|
|
CONFIG_SLUB=y
|
|
# CONFIG_SLAB_FREELIST_HARDENED is not set
|
|
CONFIG_HAVE_ALIGNED_STRUCT_PAGE=y
|
|
CONFIG_PREEMPT=y
|
|
CONFIG_PREEMPT_RT_BASE=y
|
|
CONFIG_HAVE_PREEMPT_LAZY=y
|
|
CONFIG_PREEMPT_LAZY=y
|
|
# CONFIG_PREEMPT_VOLUNTARY is not set
|
|
# CONFIG_PREEMPT__LL is not set
|
|
# CONFIG_PREEMPT_RTB is not set
|
|
CONFIG_PREEMPT_RT_FULL=y
|
|
CONFIG_PREEMPT_COUNT=y
|
|
# CONFIG_SLUB_DEBUG_ON is not set
|
|
# CONFIG_SLUB_STATS is not set
|
|
CONFIG_DEBUG_PREEMPT=y
|
|
# CONFIG_PREEMPT_TRACER is not set
|