Add IPKDB options, but commented out as it doesn't build at the moment.

This commit is contained in:
elad 2009-05-10 15:26:23 +00:00
parent 61c4873640
commit d009a1bb6c
1 changed files with 4 additions and 2 deletions

View File

@ -1,4 +1,4 @@
# $NetBSD: ALL,v 1.198 2009/05/09 15:04:25 pgoyette Exp $
# $NetBSD: ALL,v 1.199 2009/05/10 15:26:23 elad Exp $
# From NetBSD: GENERIC,v 1.787 2006/10/01 18:37:54 bouyer Exp
#
# ALL machine description file
@ -17,7 +17,7 @@ include "arch/i386/conf/std.i386"
options INCLUDE_CONFIG_FILE # embed config file in kernel binary
#ident "ALL-$Revision: 1.198 $"
#ident "ALL-$Revision: 1.199 $"
maxusers 32 # estimated number of users
@ -114,6 +114,8 @@ options DDB_HISTORY_SIZE=512 # enable history editing in DDB
options DDB_VERBOSE_HELP
options KGDB # remote debugger
options KGDB_DEVNAME="\"com\"",KGDB_DEVADDR=0x3f8,KGDB_DEVRATE=9600
#options IPKDB # IP Kernel Debugger
#options IPKDBKEY="\"yes\""
makeoptions DEBUG="-g" # compile full symbol table
options SYSCALL_STATS # per syscall counts
options SYSCALL_TIMES # per syscall times