# $NetBSD: GENERIC64_IP2x,v 1.7 2021/01/21 06:51:56 nia 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.7 $"
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
#options COMPAT_LINUX # binary compatibility with Linux
#options COMPAT_OSSAUDIO # binary compatibility with Linux
#options COMPAT_ULTRIX # binary compatibility with Ultrix
