3 # GENERIC32_IP3x 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 O2 (IP32).
25 include "arch/sgimips/conf/GENERIC32_IP3x"
26 include "arch/sgimips/conf/std.sgimips64"
28 no makeoptions TEXTADDR
29 makeoptions TEXTADDR="0xffffffff80069000" # entry point
31 #ident "GENERIC64_IP3x-$Revision: 1.2 $"
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
38 #options COMPAT_40 # NetBSD 4.0 compatibility.
39 #options TCP_COMPAT_42 # 4.2BSD TCP/IP bug compat. Not recommended.
41 #options COMPAT_IRIX # binary compatibility with IRIX
42 #options COMPAT_LINUX # binary compatibility with Linux
43 #options COMPAT_ULTRIX # binary compatibility with Ultrix
44 #options COMPAT_BSDPTY # /dev/[pt]ty?? ptys.