sys/arch/hpcsh/conf/DEBUG

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