blob: d90d5b9051115a6d11acf5a5bb7d4f44e3e44cf0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#
# kernel config file for debugging.
#
# $NetBSD: DEBUG,v 1.6 2015/08/21 01:52:08 uebayasi Exp $
#
include "arch/hpcsh/conf/GENERIC"
options DDB # in-kernel debugger
pseudo-device ksyms
#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 PCMCIAVERBOSE # verbose PCMCIA configuration messages
|