##
## file: arch/x86/Kconfig.debug
##
CONFIG_X86_PTDUMP=y
CONFIG_EFI_PGT_DUMP=y

##
## file: kernel/livepatch/Kconfig
##
# CONFIG_LIVEPATCH is not set

##
## file: lib/Kconfig.debug
##
CONFIG_DEBUG_STACKOVERFLOW=y
CONFIG_DEBUG_SHIRQ=y
CONFIG_SCHED_DEBUG=y
CONFIG_SCHEDSTATS=y
CONFIG_LATENCYTOP=y
CONFIG_DEBUG_STRICT_USER_COPY_CHECKS=y

##
### file: drivers/acpi/Kconfig
##
CONFIG_ACPI_DEBUG=y
