mirror of
https://github.com/linuxkit/linuxkit.git
synced 2025-09-29 18:33:53 +00:00
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
|