mirror of
https://github.com/linuxkit/linuxkit.git
synced 2025-07-19 09:16:29 +00:00
792238f5cb
Based on kernel_config{,.debug} from commit
724561bf69
Enable Landlock and userland sandbox example:
* CONFIG_SECURITY_LANDLOCK=y
* CONFIG_SAMPLES=y
Signed-off-by: Mickaël Salaün <mic@digikod.net>
27 lines
535 B
Plaintext
27 lines
535 B
Plaintext
|
|
|
|
## MOBY 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
|