#	INTUSSUSCEPTION -- IBM ThinkPad A31P
#	Patroklos Argyroudis <argp at domain cs.tcd.ie>
#
#	$Id: INTUSSUSCEPTION_3_4,v 1.3 2005/11/08 22:43:35 argp Exp $

machine		i386		# architecture, used by config; REQUIRED

option		DDB		# in-kernel debugger
option		DDB_SAFE_CONSOLE # allow break into ddb during boot
makeoptions	DEBUG="-g"	# compile full symbol table
makeoptions	PROF="-pg"	# build profiled kernel
option		GPROF		# kernel profiling, kgmon(8)
option		DIAGNOSTIC	# internal consistency checks
option		KTRACE		# system call tracing, a la ktrace(1)
option		KMEMSTATS	# collect malloc(9) statistics
option		PTRACE		# ptrace(2) system call

option		CRYPTO		# Cryptographic framework

option		SYSVMSG		# System V-like message queues
option		SYSVSEM		# System V-like semaphores
option		SYSVSHM		# System V-like memory sharing

option		UVM_SWAP_ENCRYPT# support encryption of pages going to swap

option		COMPAT_43	# and 4.3BSD

option		LKM		# loadable kernel modules

option		FFS		# UFS
option		FFS_SOFTUPDATES	# Soft updates

option		TCP_SACK	# Selective Acknowledgements for TCP
option		TCP_ECN		# Explicit Congestion Notification for TCP

option		NFSCLIENT	# Network File System client
option		NFSSERVER	# Network File System server

option		CD9660		# ISO 9660 + Rock Ridge file system
option		MSDOSFS		# MS-DOS file system
option		FIFO		# FIFOs; RECOMMENDED
option		NULLFS		# loopback file system

option		GATEWAY		# packet forwarding
option		INET		# IP + ICMP + TCP + UDP
option		ALTQ		# ALTQ base
option		IPSEC		# IPsec
option		PPP_BSDCOMP	# PPP BSD compression
option		PPP_DEFLATE

option		I686_CPU
option		GPL_MATH_EMULATE	# floating point emulation.

option		USER_PCICONF	# user-space PCI configuration

option		USER_LDT	# user-settable LDT; see i386_set_ldt(2)
option		APERTURE	# in-kernel aperture driver for XFree86

option		COMPAT_LINUX	# binary compatibility with Linux
option		COMPAT_FREEBSD	# binary compatibility with FreeBSD
option		COMPAT_AOUT	# a.out binaries are emulated

option		NTFS		# Experimental NTFS support

maxusers	3		# estimated number of users

config		bsd	swap generic

mainbus0 at root

bios0	at mainbus0
apm0	at bios0 flags 0x0000	# flags 0x0101 to force protocol version 1.1
pcibios0 at bios0 flags 0x0000	# use 0x30 for a total verbose

isa0	at mainbus0
isa0	at pcib?
pci*	at mainbus0 bus ?

pchb*	at pci? dev ? function ?	# PCI-Host bridges
ppb*	at pci? dev ? function ?	# PCI-PCI bridges
pci*	at ppb? bus ?
pci*	at pchb? bus ?
pcib*	at pci? dev ? function ?	# PCI-ISA bridge

# CardBus bus support
cardbus*	at cardslot?
pcmcia*		at cardslot?
cbb*		at pci? dev ? function ?
cardslot*	at cbb?

# PCI USB Controllers
uhci*	at pci?				# Universal Host Controller (Intel)

# USB bus support
usb*	at uhci?
uhub*	at usb?				# USB Hubs

umass*	at uhub? port ? configuration ? # USB Mass Storage devices
scsibus* at umass?
uhidev*	at uhub? port ? configuration ? interface ?
ums*	at uhidev? reportid ?
wsmouse* at ums? mux 0

npx0	at isa? port 0xf0 irq 13	# math coprocessor
isadma0	at isa?

option	WSDISPLAY_COMPAT_USL		# VT handling
option	WSDISPLAY_COMPAT_RAWKBD		# can get raw scancodes
option	WSDISPLAY_DEFAULTSCREENS=6
option	WSDISPLAY_COMPAT_PCVT		# emulate some ioctls

pckbc0		at isa?			# PC keyboard controller
pckbd*		at pckbc?		# PC keyboard
pms*		at pckbc?		# PS/2 mouse for wsmouse
option		PCIAGP
vga*		at pci? dev ? function ?
wsdisplay*	at vga? console ?
wskbd*		at pckbd? console ?
wsmouse*	at pms? mux 0

pcppi0		at isa?
sysbeep0	at pcppi?

pccom0	at isa? port 0x3f8 irq 4	# standard PC serial ports
lpt2	at isa? port 0x3bc

sd*	at scsibus? target ? lun ?	# SCSI disk drives
cd*	at scsibus? target ? lun ?	# SCSI CD-ROM drives

# IDE controllers
pciide* at pci ? dev ? function ? flags 0x0000

# IDE hard drives
wd*	at pciide? channel ? drive ? flags 0x0000

# ATAPI<->SCSI
atapiscsi* at pciide? channel ?
scsibus* at atapiscsi?

# Networking devices
fxp*	at pci? dev ? function ?		# EtherExpress 10/100B ethernet

# Wireless network cards
wi*	at pcmcia? function ?			# WaveLAN IEEE 802.11DS

# Media Independent Interface (mii) drivers
inphy*	at mii? phy ?				# Intel 82555 PHYs

auich*	at pci? dev ? function ? flags 0x0000	# i82801 ICH AC'97 audio

# MIDI support
midi*	at pcppi?		# MIDI interface to the PC speaker

# The spkr driver provides a simple tone interface to the built in speaker.
spkr0	at pcppi?		# PC speaker

# Audio Support
audio*	at auich?

pseudo-device	pctr		1
pseudo-device	mtrr		1	# Memory range attributes control
pseudo-device	sequencer	1
pseudo-device	bio		1	# ioctl multiplexing device

# mouse & keyboard multiplexor pseudo-devices
pseudo-device	wsmux		2
pseudo-device	crypto		1

pseudo-device	pf		# packet filter
pseudo-device	pflog		# pf log if
pseudo-device	pfsync		# pf sync if
pseudo-device	loop	2	# network loopback
pseudo-device	bpfilter 8	# packet filter
pseudo-device	ppp	2	# PPP
pseudo-device	tun	2	# network tunneling over tty
pseudo-device	enc	1	# option IPSEC needs the encapsulation interface
pseudo-device	bridge	2	# network bridging support
pseudo-device	vlan 	2	# IEEE 802.1Q VLAN 
pseudo-device	gre	1	# GRE encapsulation interface

pseudo-device	pty	64	# pseudo-terminals
pseudo-device	tb	1	# tablet line discipline
pseudo-device	vnd	4	# paging to files
pseudo-device	ksyms	1	# kernel symbols device
pseudo-device	systrace 1	# system call tracing device

option		BOOT_CONFIG	# add support for boot -c