| # SPDX-License-Identifier: GPL-2.0 |
| |
| config EARLY_PRINTK |
| def_bool y |
| |
| config DEBUG_ENTRY |
| bool "Debug low-level entry code" |
| depends on DEBUG_KERNEL |
| help |
| This option enables sanity checks in s390 low-level entry code. |
| Some of these sanity checks may slow down kernel entries and |
| exits or otherwise impact performance. |
| |
| If unsure, say N. |
| |
| config STRICT_MM_TYPECHECKS |
| bool "Strict Memory Management Type Checks" |
| depends on DEBUG_KERNEL |
| help |
| Enable strict type checking for memory management types like pte_t |
| and pmd_t. This generates slightly worse code and should be used |
| for debug builds. |
| |
| If unsure, say N. |
| |
| config CIO_INJECT |
| bool "CIO Inject interfaces" |
| depends on DEBUG_KERNEL && DEBUG_FS |
| help |
| This option provides a debugging facility to inject certain artificial events |
| and instruction responses to the CIO layer of Linux kernel. The newly created |
| debugfs user-interfaces will be at /sys/kernel/debug/s390/cio/* |
