| @@ -1,25 +1,24 @@ | | | @@ -1,25 +1,24 @@ |
1 | # | | 1 | # |
2 | # kernel config file for debugging. | | 2 | # kernel config file for debugging. |
3 | # | | 3 | # |
4 | # $NetBSD: DEBUG,v 1.4 2005/12/11 12:17:36 christos Exp $ | | 4 | # $NetBSD: DEBUG,v 1.5 2010/08/08 16:25:49 chs Exp $ |
5 | # | | 5 | # |
6 | | | 6 | |
7 | include "arch/hpcsh/conf/GENERIC" | | 7 | include "arch/hpcsh/conf/GENERIC" |
8 | | | 8 | |
9 | options DDB # in-kernel debugger | | 9 | options DDB # in-kernel debugger |
10 | #options KGDB # remote debugger | | 10 | #options KGDB # remote debugger |
11 | #makeoptions DEBUG="-g" # compile full symbol table | | 11 | #makeoptions DEBUG="-g" # compile full symbol table |
12 | #options KGDB_DEVRATE=19200 | | 12 | #options KGDB_DEVRATE=19200 |
13 | # HP Jornada | | 13 | # HP Jornada |
14 | #options "KGDB_DEVNAME=\"scif\"" | | 14 | #options "KGDB_DEVNAME=\"scif\"" |
15 | # HITACHI PERSONA (SH3) | | 15 | # HITACHI PERSONA (SH3) |
16 | #options "KGDB_DEVNAME=\"hd64461uart\"" | | 16 | #options "KGDB_DEVNAME=\"hd64461uart\"" |
17 | # HITACHI PERSONA (SH4) | | 17 | # HITACHI PERSONA (SH4) |
18 | #options "KGDB_DEVNAME=\"hd64465uart\"" | | 18 | #options "KGDB_DEVNAME=\"hd64465uart\"" |
19 | | | 19 | |
20 | #options HPC_DEBUG_INTERRUPT_MONITOR | | 20 | #options HPC_DEBUG_INTERRUPT_MONITOR |
21 | #options KSTACK_DEBUG | | 21 | #options KSTACK_DEBUG |
22 | options DIAGNOSTIC # extra kernel debugging checks | | 22 | options DIAGNOSTIC # extra kernel debugging checks |
23 | options DEBUG # extra kernel debugging support | | 23 | options DEBUG # extra kernel debugging support |
24 | options KTRACE # system call tracing support | | | |
25 | options PCMCIAVERBOSE # verbose PCMCIA configuration messages | | 24 | options PCMCIAVERBOSE # verbose PCMCIA configuration messages |