#
# DEFAULTS -- Default kernel configuration file for FreeBSD/ia64
#
# $FreeBSD$
# Not yet, this would break all existing configs
#machine ia64
# Bus support.
device acpi # ACPI support
# Pseudo devices.
device mem # Memory and kernel memory devices
options PUC_FASTINTR