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