#
# SKI -- Kernel configuration file for FreeBSD/ia64 running in the HP
#        SKI simulator
#
# For more information on this file, please read the handbook section on
# Kernel Configuration Files:
#
#    http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
#
# The handbook is also available locally in /usr/share/doc/handbook
# if you've installed the doc distribution, otherwise always see the
# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
# latest information.
#
# An exhaustive list of options and more detailed explanations of the
# device lines is also present in the ../../conf/NOTES and NOTES files.
# If you are in doubt as to the purpose or necessity of a line, check
# first in NOTES.
#
# $FreeBSD$

machine 	ia64
cpu		ITANIUM
ident		SKI

makeoptions	DEBUG=-g	# Build kernel with debug information.
makeoptions	NO_MODULES=yes	# Don't build any modules.

options 	COMPAT_43	# Compatible with BSD 4.3 [KEEP THIS!]
options 	DDB		# Support DDB
options 	FFS		# Berkeley Fast Filesystem
options 	GDB		# Support remote GDB
options 	INET		# InterNETworking
options 	INET6		# IPv6 communications protocols
options 	KDB		# Enable kernel debugger support
options 	KTRACE		# ktrace(1) syscall trace support
options 	MD_ROOT		# MD usable as root device
options 	PROCFS		# Process filesystem (/proc)
options 	PSEUDOFS	# Pseudo-filesystem framework
options 	SCHED_ULE	# ULE scheduler
options 	SKI		# Include SKI support code
options 	SOFTUPDATES	# Enable FFS soft updates support
options 	SYSVMSG		# SYSV-style message queues
options 	SYSVSEM		# SYSV-style semaphores
options 	SYSVSHM		# SYSV-style shared memory
options 	UFS_ACL		# Support for access control lists
options 	UFS_DIRHASH	# Hash-based directory lookup scheme
options 	_KPOSIX_PRIORITY_SCHEDULING	# Posix P1003_1B RT extensions

# Various "busses"
device		acpi		# ACPI support (mandatory)
device		pci		# PCI bus support

# Various (pseudo) devices
device		ether		# Ethernet support
device		loop		# Network loopback
device		md		# Memory "disks"
device		mem		# Memory and kernel memory devices
device		pty		# Pseudo-ttys (telnet etc)
device		random		# Entropy device
device		tun		# Packet tunnel.

# The `bpf' device enables the Berkeley Packet Filter.
# Be aware of the administrative consequences of enabling this!
device		bpf		# Berkeley packet filter