#
# DEFAULTS -- Default kernel configuration file for FreeBSD/ia64
#
# $FreeBSD$

machine		ia64

# Bus support.
device 		acpi		# ACPI support

# Pseudo devices.
device		mem		# Memory and kernel memory devices

options 	PUC_FASTINTR