mirror of
https://github.com/linuxkit/linuxkit.git
synced 2025-10-03 13:42:17 +00:00
f44421042e
Building debug kernels (with additional run time checks and debugging) was broken a few commits back. This adds back support for building debug kernels. In addition, it builds and uploads debug kernels for selected kernel series (4.9.x LTS and latest stable). The tag for these kernels has a "_dbg" suffix. Update documentation. Signed-off-by: Rolf Neugebauer <rolf.neugebauer@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
|