# $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"
