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

machine		amd64

# Bus support.
device		isa

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

options 	PUC_FASTINTR