machine		i386
cpu		I686_CPU
ident		SPHINX
options		CPU_ENABLE_SSE
options 	SCHED_4BSD
options 	INET
options 	INET6		
options 	FFS		
options 	SOFTUPDATES	
options 	UFS_ACL		
options 	UFS_DIRHASH	
options 	MD_ROOT		
options 	NFSCLIENT		
options 	NFSSERVER		
options 	NFS_ROOT		
options 	MSDOSFS			
options 	CD9660			
options 	PROCFS			
options 	PSEUDOFS	
options 	COMPAT_43		
options 	COMPAT_FREEBSD4
options 	SCSI_DELAY=15000
options 	KTRACE			
options 	SYSVSHM			
options 	SYSVMSG			
options 	SYSVSEM			
options 	_KPOSIX_PRIORITY_SCHEDULING
options 	KBD_INSTALL_CDEV	
options 	AHC_REG_PRETTY_PRINT
options 	AHD_REG_PRETTY_PRINT
options 	INVARIANT_SUPPORT
options 	ATA_STATIC_ID
options 	SMP
device		isa
device		eisa
device		pci
device		pcm
device		fdc
device		ata
device		atadisk	
device		ataraid		
device		atapicd	
device		atapifd		
device		atapist		
device		scbus		
device		ch		
device		da		
device		sa		
device		cd		
device		pass		
device		ses
device		atkbdc		
device		atkbd		
device		psm		
device		vga		
device		splash
device		sc
device		agp
device		npx
device		pmtimer
device		sio
device		ppc
device		ppbus		
device		lpt		
device		plip		
device		ppi		
device		miibus		
device		wlan		
device		random		
device		loop		
device		ether		
device		sl		
device		ppp		
device		tun		
device		pty		
device		md		
device		gif		
device		faith
device		bpf
device		uhci		
device		ohci		
device		usb
device		ugen
device		ukbd		
device		ulpt		
device		ums