1# 2# kernel config file for debugging. 3# 4# $NetBSD: DEBUG,v 1.5 2010/08/08 16:25:49 chs 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