#	$NetBSD: GENERIC64_32_IP2x,v 1.3 2015/02/18 11:15:19 macallan 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_32"

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

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

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