#
# DEFAULTS -- Default kernel configuration file for FreeBSD/ia64
#
# $FreeBSD: src/sys/ia64/conf/DEFAULTS,v 1.16.2.4.2.1 2010/06/14 02:09:06 kensmith Exp $

machine		ia64

# Bus support.
device		acpi		# ACPI support

# Pseudo devices.
device		io		# I/O & EFI runtime device
device		mem		# Memory and kernel memory devices

# UART chips on this platform
device		uart_ns8250

options 	GEOM_PART_BSD
options 	GEOM_PART_GPT
options 	GEOM_PART_MBR