mirror of
https://github.com/linuxkit/linuxkit.git
synced 2025-11-04 12:59:07 +00:00
7209afb758
For some use cases, we may want to add additional kernel
configuration options (e.g. when adding AUFS). This commit
enables it by:
- renaming DEBUG to EXTRA
- append kernel_config${EXTRA} to the kernel config
- allowing passing in an EXTRA argument to the make file
Signed-off-by: Rolf Neugebauer <rolf.neugebauer@docker.com>
29 lines
580 B
Plaintext
29 lines
580 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
|
|
CONFIG_NFS_DEBUG=y
|
|
CONFIG_SUNRPC_DEBUG=y
|