1 # $NetBSD: GENERIC.SKI,v 1.4 2008/02/29 14:42:32 jmmv Exp $
3 # GENERIC 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
21 include "arch/ia64/conf/std.ia64"
23 options INCLUDE_CONFIG_FILE # embed config file in kernel binary
25 #ident "GENERIC-$Revision: 1.1 $"
27 maxusers 32 # estimated number of users
29 # CPU support. At least one is REQUIRED.
32 # CPU-related options.
34 # Standard system options
36 options USERCONF # userconf(4) support
38 # Diagnostic/debugging support options
39 options DIAGNOSTIC # expensive kernel consistency checks
40 options DEBUG # expensive debugging checks/support
41 #options LOCKDEBUG # expensive locking checks/support
42 #options KMEMSTATS # kernel memory statistics (vmstat -m)
43 options DDB # in-kernel debugger
44 options DDB_ONPANIC=1 # see also sysctl(8): `ddb.onpanic'
45 options DDB_HISTORY_SIZE=512 # enable history editing in DDB
46 #options KGDB # remote debugger
47 #options KGDB_DEVNAME="\"com\"",KGDB_DEVADDR=0x3f8,KGDB_DEVRATE=9600
50 makeoptions DEBUG="-g" # compile full symbol table
54 #file-system MFS # memory file system
56 # These options enable verbose messages for several subsystems.
57 # Warning, these may compile large string tables into the kernel!
58 options ACPIVERBOSE # verbose ACPI device autoconfig messages
61 # Kernel root file system and dump configuration.
62 config netbsd root on ? type ?
65 # Device configuration
72 # Advanced Configuration and Power Interface
77 com* at acpi? # Serial communications interface
80 #pci* at mainbus? bus ?
82 # Pull in optional local configuration
83 cinclude "arch/ia64/conf/GENERIC.local"