2003-08-23 21:47:33 +00:00
|
|
|
# $FreeBSD$
|
|
|
|
#
|
|
|
|
# This file contains machine dependent kernel configuration notes. For
|
|
|
|
# machine independent notes, look in /sys/conf/NOTES.
|
|
|
|
|
|
|
|
# directive: machine
|
|
|
|
# This directive is mandatory. It defines the architecture to be configured
|
|
|
|
# for. It can only be ia64 at this time.
|
|
|
|
#
|
|
|
|
machine ia64
|
|
|
|
|
|
|
|
# directive: cpu
|
|
|
|
# You must specify at least one CPU (the one you intend to run on). Deleting
|
|
|
|
# the support for CPUs you don't need to use may make parts of the system run
|
|
|
|
# faster. There's currently no special code for the different CPUs. Note also
|
|
|
|
# that the cpu declares the family. We may need to add support for specifying
|
|
|
|
# particular models.
|
|
|
|
cpu ITANIUM
|
|
|
|
cpu ITANIUM2
|
|
|
|
|
|
|
|
# option: IA32
|
|
|
|
# This option enables the support for execution of i386 (32-bit) programs on
|
|
|
|
# ia64. It is based on the ia32 emulation in the processor.
|
|
|
|
options IA32
|
|
|
|
|
2003-09-09 05:59:09 +00:00
|
|
|
# option: LOG2_ID_PAGE_SIZE
|
|
|
|
# Specify the log2 size of the identity (direct) mappings in regions 6 and 7
|
|
|
|
# of the virtual address space.
|
|
|
|
options LOG2_ID_PAGE_SIZE=27 # 128M
|
|
|
|
|
2003-08-23 21:47:33 +00:00
|
|
|
# option: LOG2_PAGE_SIZE
|
|
|
|
# Specify the log2 size of the page to be used for virtual memory management.
|
|
|
|
# The page size being equal to 1<<LOG2_PAGE_SIZE.
|
2003-08-25 20:02:18 +00:00
|
|
|
options LOG2_PAGE_SIZE=15 # 32K
|
2003-08-23 21:47:33 +00:00
|
|
|
|
|
|
|
# option: SKI
|
|
|
|
# Build support for running under the ski simulator.
|
|
|
|
options SKI
|
|
|
|
|
|
|
|
# option: UWX_TRACE_ENABLE
|
|
|
|
# Build the unwinder with tracing support. This option is used to debug the
|
|
|
|
# unwinder itself and the glue around it.
|
|
|
|
options UWX_TRACE_ENABLE
|
|
|
|
|
|
|
|
# MI options
|
|
|
|
options ACPI_DEBUG
|
|
|
|
options KSTACK_PAGES=3
|
|
|
|
|
|
|
|
device acpi
|
|
|
|
device agp
|
|
|
|
device eisa
|
|
|
|
device isa
|
|
|
|
device pci
|
2004-05-17 07:03:01 +00:00
|
|
|
|
2004-05-17 18:36:14 +00:00
|
|
|
# The following devices are not supported.
|
2004-05-17 07:03:01 +00:00
|
|
|
nodevice fdc
|
|
|
|
nooption FDC_DEBUG
|
|
|
|
nodevice sio
|
|
|
|
nooption COM_ESP
|
|
|
|
nooption CONSPEED
|