#	$NetBSD: GENERIC64_IP3x,v 1.4 2014/08/23 20:26:59 dholland Exp $
#
# GENERIC32_IP3x 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 O2 (IP32).
#

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

no makeoptions	TEXTADDR
makeoptions	TEXTADDR="0xffffffff80069000"	# entry point

#ident		"GENERIC64_IP3x-$Revision: 1.4 $"

# 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.