1# 2# kernel config file for debugging. 3# 4# $NetBSD: DEBUG,v 1.6 2015/08/21 01:52:08 uebayasi Exp $ 5# 6 7include "arch/hpcsh/conf/GENERIC" 8 9options DDB # in-kernel debugger 10pseudo-device ksyms 11#options KGDB # remote debugger 12#makeoptions DEBUG="-g" # compile full symbol table 13#options KGDB_DEVRATE=19200 14# HP Jornada 15#options "KGDB_DEVNAME=\"scif\"" 16# HITACHI PERSONA (SH3) 17#options "KGDB_DEVNAME=\"hd64461uart\"" 18# HITACHI PERSONA (SH4) 19#options "KGDB_DEVNAME=\"hd64465uart\"" 20 21#options HPC_DEBUG_INTERRUPT_MONITOR 22#options KSTACK_DEBUG 23options DIAGNOSTIC # extra kernel debugging checks 24options DEBUG # extra kernel debugging support 25options PCMCIAVERBOSE # verbose PCMCIA configuration messages 26