Home | History | Annotate | Line # | Download | only in conf 
      1 #
      2 # kernel config file for debugging.
      3 #
      4 # 	$NetBSD: DEBUG,v 1.8 2023/09/12 22:07:33 andvar Exp $
      5 #
      6 
      7 include 	"arch/hpcsh/conf/GENERIC"
      8 
      9 options 	DDB			# in-kernel debugger
     10 #options 	KGDB			# remote debugger
     11 #makeoptions	DEBUG="-g"	# compile full symbol table
     12 #options 	KGDB_DEVRATE=19200
     13 # HP Jornada
     14 #options 	KGDB_DEVNAME="\"scif\""
     15 # HITACHI PERSONA (SH3)
     16 #options 	KGDB_DEVNAME="\"hd64461uart\""
     17 # HITACHI PERSONA (SH4)
     18 #options 	KGDB_DEVNAME="\"hd64465uart\""
     19 
     20 #options 	HPC_DEBUG_INTERRUPT_MONITOR
     21 #options 	KSTACK_DEBUG
     22 options 	DIAGNOSTIC		# extra kernel debugging checks
     23 options 	DEBUG			# extra kernel debugging support
     24 options 	PCMCIAVERBOSE	# verbose PCMCIA configuration messages
     25