#
# kernel config file for debugging.
#
# 	$NetBSD: DEBUG,v 1.8 2023/09/12 22:07:33 andvar Exp $
#

include 	"arch/hpcsh/conf/GENERIC"

options 	DDB			# in-kernel debugger
#options 	KGDB			# remote debugger
#makeoptions	DEBUG="-g"	# compile full symbol table
#options 	KGDB_DEVRATE=19200
# HP Jornada
#options 	KGDB_DEVNAME="\"scif\""
# HITACHI PERSONA (SH3)
#options 	KGDB_DEVNAME="\"hd64461uart\""
# HITACHI PERSONA (SH4)
#options 	KGDB_DEVNAME="\"hd64465uart\""

#options 	HPC_DEBUG_INTERRUPT_MONITOR
#options 	KSTACK_DEBUG
options 	DIAGNOSTIC		# extra kernel debugging checks
options 	DEBUG			# extra kernel debugging support
options 	PCMCIAVERBOSE	# verbose PCMCIA configuration messages