Setting up FreeBSD on a Dell Inspiron 7500 Laptop

Kernel config from FreeBSD 4.4-RELEASE

Sound works via 'PNPBIOS' option and stock 'pcm' driver

#
# DELL_7500 -- Dell Inspiron 7500 Laptop
#
# $FreeBSD: src/sys/i386/conf/GENERIC,v 1.246.2.34 2001/08/12 13:13:46 joerg Exp $
# $FreeBSD: src/sys/i386/conf/LINT,v 1.749.2.78 2001/08/30 12:29:56 murray Exp $

machine		i386
cpu		I686_CPU
ident		DELL_7500
maxusers	10

#makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols

options 	KTRACE			#ktrace(1) support
options 	INET			#InterNETworking
options 	FFS			#Berkeley Fast Filesystem
options 	FFS_ROOT		#FFS usable as root device [keep this!]
options 	COMPAT_43		#Compatible with BSD 4.3 [KEEP THIS!]
options 	UCONSOLE		#Allow users to grab the console
options 	SYSVSHM			#SYSV-style shared memory
options 	SYSVMSG			#SYSV-style message queues
options 	SYSVSEM			#SYSV-style semaphores
options 	P1003_1B		#Posix P1003_1B real-time extensions
options 	_KPOSIX_PRIORITY_SCHEDULING
options		ICMP_BANDLIM		#Rate limit bad replies
options 	KTRACE			#kernel tracing

options 	SOFTUPDATES		#Enable FFS soft updates support
options         INCLUDE_CONFIG_FILE     #Include this file in kernel
options		NO_F00F_HACK

device		isa
device		pci

# Floppy drives
device		fdc0	at isa? port IO_FD1 irq 6 drq 2
device		fd0	at fdc0 drive 0

# ATA and ATAPI devices
device		ata
device		atadisk			# ATA disk drives
device		atapicd			# ATAPI CDROM drives
options 	ATA_STATIC_ID		#Static device numbering

# atkbdc0 controls both the keyboard and the PS/2 mouse
device		atkbdc0	at isa? port IO_KBD
device		atkbd0	at atkbdc? irq 1 flags 0x1
device		psm0	at atkbdc? irq 12

device		vga0	at isa?

# splash screen/screen saver
pseudo-device	splash

# syscons is the default console driver, resembling an SCO console
device		sc0	at isa? flags 0x100
options		SC_HISTORY_SIZE=400	# number of history buffer lines

# Floating point support - do not disable.
device		npx0	at nexus? port IO_NPX irq 13

# Power management support (see LINT for more options)
device		apm0    at nexus?

# PCCARD (PCMCIA) support
device		card
device		pcic0	at isa?

# Serial (COM) ports
device		sio0	at isa? port IO_COM1 irq 4
device		sio1	at isa? port IO_COM2 irq 3

# Parallel port
device		ppc0	at isa? irq 7
device		ppbus		# Parallel port bus (required)
device		lpt		# Printer

#
# For PnP/PCI sound cards
options 	PNPBIOS
device		pcm

# Server Management Bus Supported interfaces:
device		smbus		
device		intpm		# Intel PIIX4 Power Management Unit
device		iicbus		# Bus support, required for ic/iic/iicsmb below.
device		iicbb
device		ic
device		iic
device		iicsmb		# smb over i2c bridge
device		pcf0	at isa? port 0x320 irq 5

# ISA Ethernet NICs.
device		ep
device		an

# USB support
device		uhci		# UHCI PCI->USB interface
device		usb		# USB Bus (required)
device		ugen		# Generic
device		uhid		# "Human Interface Devices"
device		umass		# Disks/Mass storage - Requires scbus and da
device		scbus		# SCSI bus (required)
device		da		# Direct Access (disks)
device		pass		# Passthrough device (direct SCSI access)

# Pseudo devices - the number indicates how many units to allocated.
pseudo-device	loop	4	# Network loopback
pseudo-device	ether		# Ethernet support
pseudo-device	pty		# Pseudo-ttys (telnet etc)
pseudo-device	vn	4	# Vnode driver (turns a file into a device)
pseudo-device	bpf	4	# Berkeley packet filter