#
# Copyright 1996 1995 by Open Software Foundation, Inc.   
#              All Rights Reserved 
#  
# Permission to use, copy, modify, and distribute this software and 
# its documentation for any purpose and without fee is hereby granted, 
# provided that the above copyright notice appears in all copies and 
# that both the copyright notice and this permission notice appear in 
# supporting documentation. 
#  
# OSF DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE 
# INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS 
# FOR A PARTICULAR PURPOSE. 
#  
# IN NO EVENT SHALL OSF BE LIABLE FOR ANY SPECIAL, INDIRECT, OR 
# CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM 
# LOSS OF USE, DATA OR PROFITS, WHETHER IN ACTION OF CONTRACT, 
# NEGLIGENCE, OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION 
# WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. 
#
#
# pmk1.1
# 
# This configuration is the same as the PRODUCTION+NORMA
# configuration, except that it has the kernel debugger and
# symbol tables.  Obviously, the debugger and symbol tables
# take up precious memory, but this kernel is still much
# easier to debug than a PRODUCTION configuration.
#
include		"AT386/config.common"
include		"AT386/config.devices"
include		"AT386/config.norma"

options         FLIPC
options		FLIPC_KKT
options		FLIPC_UCHECK

#
# The following 2 files are reserved for local (per developer) customization.
# These files should never exist in the base source tree.
#
-include	"config.local"
-include	"AT386/config.local"

#
#	Turn on KDB so that we can poke around a failing kernel.
#	Turn on BOOTSTRAP_SYMBOLS so that we can poke around a
#	failing bootstrap.
#	Turn on MACH_DEBUG so that non-kernel symbol tables
#	are available.
#
options		BOOTSTRAP_SYMBOLS
options		MACH_KDB
options		MACH_DEBUG

#
config		"mach_kernel.FAST+NORMA+flipc"
