NetBSD-5.0.2/sys/arch/hpcsh/conf/DEBUG

#
# kernel config file for debugging.
#
# 	$NetBSD: DEBUG,v 1.4 2005/12/11 12:17:36 christos 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 	KTRACE			# system call tracing support
options 	PCMCIAVERBOSE	# verbose PCMCIA configuration messages