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

no makeoptions	TEXTADDR
makeoptions	TEXTADDR="0xffffffff80069000"	# entry point
no makeoptions 	CPUFLAGS
makeoptions	CPUFLAGS="-march=mips4 -mtune=vr5000"

#ident		"GENERIC64_IP3x-$Revision: 1.3 $"