xref: /src/sys/arch/sgimips/conf/GENERIC64_IP3x

#	$NetBSD: GENERIC64_IP3x,v 1.6 2017/09/14 07:58:43 mrg 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.6 $"

# Compatibility options
#include 	"conf/compat_netbsd15.config"

#options 	COMPAT_LINUX	# binary compatibility with Linux
#options 	COMPAT_ULTRIX	# binary compatibility with Ultrix