26 lines
743 B
Plaintext
26 lines
743 B
Plaintext
#
|
|
# kernel config file for debugging.
|
|
#
|
|
# $NetBSD: DEBUG,v 1.4 2005/12/11 12:17:36 christos Exp $
|
|
#
|
|
|
|
include "arch/hpcsh/conf/GENERIC"
|
|
|
|
options DDB # in-kernel debugger
|
|
#options KGDB # remote debugger
|
|
#makeoptions DEBUG="-g" # compile full symbol table
|
|
#options KGDB_DEVRATE=19200
|
|
# HP Jornada
|
|
#options "KGDB_DEVNAME=\"scif\""
|
|
# HITACHI PERSONA (SH3)
|
|
#options "KGDB_DEVNAME=\"hd64461uart\""
|
|
# HITACHI PERSONA (SH4)
|
|
#options "KGDB_DEVNAME=\"hd64465uart\""
|
|
|
|
#options HPC_DEBUG_INTERRUPT_MONITOR
|
|
#options KSTACK_DEBUG
|
|
options DIAGNOSTIC # extra kernel debugging checks
|
|
options DEBUG # extra kernel debugging support
|
|
options KTRACE # system call tracing support
|
|
options PCMCIAVERBOSE # verbose PCMCIA configuration messages
|