1# SPDX-License-Identifier: GPL-2.0
2
3config EARLY_PRINTK
4	def_bool y
5
6config DEBUG_ENTRY
7	bool "Debug low-level entry code"
8	depends on DEBUG_KERNEL
9	help
10	  This option enables sanity checks in s390 low-level entry code.
11	  Some of these sanity checks may slow down kernel entries and
12	  exits or otherwise impact performance.
13
14	  If unsure, say N.
15
16config STRICT_MM_TYPECHECKS
17	bool "Strict Memory Management Type Checks"
18	depends on DEBUG_KERNEL
19	help
20	  Enable strict type checking for memory management types like pte_t
21	  and pmd_t. This generates slightly worse code and should be used
22	  for debug builds.
23
24	  If unsure, say N.
25
26config CIO_INJECT
27	bool "CIO Inject interfaces"
28	depends on DEBUG_KERNEL && DEBUG_FS
29	help
30	  This option provides a debugging facility to inject certain artificial events
31	  and instruction responses to the CIO layer of Linux kernel. The newly created
32	  debugfs user-interfaces will be at /sys/kernel/debug/s390/cio/*
33