mirror of
https://github.com/linuxkit/linuxkit.git
synced 2025-10-01 10:15:35 +00:00
This is just a direct import of the current kernel/ directory, with a slight splitting up of the dockerfiles to build a kernel-source and kernel image. Signed-off-by: Tycho Andersen <tycho@docker.com>
27 lines
539 B
Plaintext
27 lines
539 B
Plaintext
|
|
|
|
## LinuxKit DEBUG OPTIONS ##
|
|
|
|
CONFIG_LOCKDEP=y
|
|
CONFIG_FRAME_POINTER=y
|
|
CONFIG_LOCKUP_DETECTOR=y
|
|
CONFIG_DETECT_HUNG_TASK=y
|
|
CONFIG_DEBUG_TIMEKEEPING=y
|
|
CONFIG_DEBUG_RT_MUTEXES=y
|
|
CONFIG_DEBUG_SPINLOCK=y
|
|
CONFIG_DEBUG_MUTEXES=y
|
|
CONFIG_DEBUG_WW_MUTEX_SLOWPATH=y
|
|
CONFIG_DEBUG_LOCK_ALLOC=y
|
|
CONFIG_PROVE_LOCKING=y
|
|
CONFIG_LOCK_STAT=y
|
|
CONFIG_DEBUG_ATOMIC_SLEEP=y
|
|
CONFIG_DEBUG_LIST=y
|
|
CONFIG_DEBUG_NOTIFIERS=y
|
|
CONFIG_PROVE_RCU=y
|
|
CONFIG_RCU_TRACE=y
|
|
CONFIG_KGDB=y
|
|
CONFIG_KGDB_SERIAL_CONSOLE=y
|
|
CONFIG_KGDBOC=y
|
|
CONFIG_DEBUG_RODATA_TEST=y
|
|
CONFIG_DEBUG_WX=y
|