#
# kernel config file for debugging.
#
#       $NetBSD: DEBUG,v 1.8 2023/09/12 22:07:33 andvar 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         PCMCIAVERBOSE   # verbose PCMCIA configuration messages

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.