2005-11-21 20:17:46 +00:00
|
|
|
#
|
|
|
|
# DEFAULTS -- Default kernel configuration file for FreeBSD/ia64
|
|
|
|
#
|
|
|
|
# $FreeBSD$
|
|
|
|
|
2005-11-27 23:17:00 +00:00
|
|
|
machine ia64
|
2005-11-21 20:17:46 +00:00
|
|
|
|
|
|
|
# Bus support.
|
2009-05-10 00:00:25 +00:00
|
|
|
device acpi # ACPI support
|
2005-11-21 20:17:46 +00:00
|
|
|
|
|
|
|
# Pseudo devices.
|
2010-01-11 18:10:13 +00:00
|
|
|
device io # I/O & EFI runtime device
|
2005-11-21 20:17:46 +00:00
|
|
|
device mem # Memory and kernel memory devices
|
2006-06-12 04:21:50 +00:00
|
|
|
|
|
|
|
# UART chips on this platform
|
|
|
|
device uart_ns8250
|
2006-07-17 20:02:51 +00:00
|
|
|
|
2007-12-06 02:32:42 +00:00
|
|
|
options GEOM_PART_BSD
|
2007-02-07 18:55:31 +00:00
|
|
|
options GEOM_PART_GPT
|
2007-06-13 05:07:42 +00:00
|
|
|
options GEOM_PART_MBR
|
2011-07-18 14:05:14 +00:00
|
|
|
|
|
|
|
options NEW_PCIB
|