1# $NetBSD: GENERIC64_IP3x,v 1.4 2014/08/23 20:26:59 dholland Exp $ 2# 3# GENERIC32_IP3x machine description file 4# 5# This machine description file is used to generate the default NetBSD 6# kernel. The generic kernel does not include all options, subsystems 7# and device drivers, but should be useful for most applications. 8# 9# The machine description file can be customised for your specific 10# machine to reduce the kernel size and improve its performance. 11# 12# For further information on compiling NetBSD kernels, see the config(8) 13# man page. 14# 15# For further information on hardware support for this architecture, see 16# the intro(4) man page. For further information about kernel options 17# for this architecture, see the options(4) man page. For an explanation 18# of each device driver in this file see the section 4 man page for the 19# device. 20# 21# 22# Currently this config file supports O2 (IP32). 23# 24 25include "arch/sgimips/conf/GENERIC32_IP3x" 26include "arch/sgimips/conf/std.sgimips64" 27 28no makeoptions TEXTADDR 29makeoptions TEXTADDR="0xffffffff80069000" # entry point 30 31#ident "GENERIC64_IP3x-$Revision: 1.4 $" 32 33# Compatibility options 34#options COMPAT_15 # NetBSD 1.5, 35#options COMPAT_16 # NetBSD 1.6, 36#options COMPAT_20 # NetBSD 2.0, 37#options COMPAT_30 # NetBSD 3.0, and 38#options COMPAT_40 # NetBSD 4.0 binary compatibility. 39#options TCP_COMPAT_42 # 4.2BSD TCP/IP bug compat. Not recommended. 40 41#options COMPAT_LINUX # binary compatibility with Linux 42#options COMPAT_ULTRIX # binary compatibility with Ultrix 43#options COMPAT_BSDPTY # /dev/[pt]ty?? ptys. 44