mirror of
https://github.com/linuxkit/linuxkit.git
synced 2025-09-19 01:17:18 +00:00
0e5d447f07
In order to get such a preempt-rt Linux kerne, we grab -rt patch via https://www.kernel.org/pub/linux/kernel/projects/rt/. So far we just enable it over 4.14.x. Signed-off-by: Tiejun Chen <tiejun.china@gmail.com>
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
|