#	$NetBSD: GENERIC64_IP2x,v 1.4 2014/08/23 20:26:59 dholland Exp $
#
# GENERIC32_IP2x machine description file
# 
# This machine description file is used to generate the default NetBSD
# kernel.  The generic kernel does not include all options, subsystems
# and device drivers, but should be useful for most applications.
#
# The machine description file can be customised for your specific
# machine to reduce the kernel size and improve its performance.
#
# For further information on compiling NetBSD kernels, see the config(8)
# man page.
#
# For further information on hardware support for this architecture, see
# the intro(4) man page.  For further information about kernel options
# for this architecture, see the options(4) man page.  For an explanation
# of each device driver in this file see the section 4 man page for the
# device.
#
#
# Currently this config file supports Indigo R4k, Indigo2 and Indy
# (IP20, IP22 and IP24, respectively).
#

include		"arch/sgimips/conf/GENERIC32_IP2x"
include		"arch/sgimips/conf/std.sgimips64"

no makeoptions	TEXTADDR			# entry point
makeoptions	TEXTADDR=0xffffffff88069000	# entry point

#ident		"GENERIC64-IP2x-$Revision: 1.4 $"

no makeoptions	WANT_ECOFF
makeoptions	WANT_ECOFF="no"		# Create an ECOFF kernel in addition
					# to an ELF kernel -- required for
					# netbooting Indigo (IP20) and some
					# Indigo2 (IP22) machines

# Compatibility options
#options 	COMPAT_15	# NetBSD 1.5,
#options 	COMPAT_16	# NetBSD 1.6,
#options 	COMPAT_20	# NetBSD 2.0,
#options 	COMPAT_30	# NetBSD 3.0, and
#options 	COMPAT_40	# NetBSD 4.0 binary compatibility.
#options 	TCP_COMPAT_42	# 4.2BSD TCP/IP bug compat. Not recommended.

#options 	COMPAT_LINUX	# binary compatibility with Linux
#options 	COMPAT_ULTRIX	# binary compatibility with Ultrix 
#options 	COMPAT_BSDPTY	# /dev/[pt]ty?? ptys.