#
# kernel config file for debugging.
#
# 	$NetBSD: DEBUG,v 1.6 2015/08/21 01:52:08 uebayasi Exp $
#

include 	"arch/hpcsh/conf/GENERIC"

options 	DDB			# in-kernel debugger
pseudo-device	ksyms
#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