# 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/*