3 # GENERIC32_IP2x machine description file
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.
9 # The machine description file can be customised for your specific
10 # machine to reduce the kernel size and improve its performance.
12 # For further information on compiling NetBSD kernels, see the config(8)
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
22 # Currently this config file supports Indigo R4k, Indigo2 and Indy
23 # (IP20, IP22 and IP24, respectively).
26 include "arch/sgimips/conf/GENERIC32_IP2x"
27 include "arch/sgimips/conf/std.sgimips64"
29 no makeoptions TEXTADDR # entry point
30 makeoptions TEXTADDR=0xffffffff88069000 # entry point
32 #ident "GENERIC64-IP2x-$Revision: 1.2 $"
34 no makeoptions WANT_ECOFF
35 makeoptions WANT_ECOFF="no" # Create an ECOFF kernel in addition
36 # to an ELF kernel -- required for
37 # netbooting Indigo (IP20) and some
38 # Indigo2 (IP22) machines
40 # Compatibility options
41 #options COMPAT_15 # NetBSD 1.5
42 #options COMPAT_16 # NetBSD 1.6
43 #options COMPAT_20 # NetBSD 2.0
44 #options COMPAT_30 # NetBSD 3.0
45 #options COMPAT_40 # NetBSD 4.0 compatibility.
46 #options TCP_COMPAT_42 # 4.2BSD TCP/IP bug compat. Not recommended.
48 #options COMPAT_IRIX # binary compatibility with IRIX
49 #options COMPAT_LINUX # binary compatibility with Linux
50 #options COMPAT_ULTRIX # binary compatibility with Ultrix
51 #options COMPAT_BSDPTY # /dev/[pt]ty?? ptys.