1# 2# kernel config file for debugging. 3# 4# $NetBSD: DEBUG,v 1.8 2023/09/12 22:07:33 andvar Exp $ 5# 6 7include "arch/hpcsh/conf/GENERIC" 8 9options 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 22options DIAGNOSTIC # extra kernel debugging checks 23options DEBUG # extra kernel debugging support 24options PCMCIAVERBOSE # verbose PCMCIA configuration messages 25