freebsd-dev/sys/powerpc/conf/MPC85XX

#
# Custom kernel for Freescale MPC85XX development boards like the CDS etc.
#
# $FreeBSD$
#

cpu		E500
ident		MPC85XX

makeoptions	DEBUG="-Wa,-me500 -g"
makeoptions	NO_MODULES=yes

options 	FPU_EMU

options 	_KPOSIX_PRIORITY_SCHEDULING
options 	ALT_BREAK_TO_DEBUGGER
options 	BREAK_TO_DEBUGGER
options 	BOOTP
options 	BOOTP_NFSROOT
options 	BOOTP_NFSV3
options 	BOOTP_WIRED_TO=tsec0
options 	CD9660
options 	COMPAT_43
options 	DDB
#options 	DIAGNOSTIC
options 	FFS
options 	GDB
options 	GEOM_PART_GPT
options 	INET
options 	INET6
options 	INVARIANTS
options 	INVARIANT_SUPPORT
options 	KDB
options 	KTRACE
options 	MD_ROOT
options 	MPC85XX
options 	MSDOSFS
options 	NFS_ROOT
options 	NFSCLIENT
options 	PROCFS
options 	PSEUDOFS
options 	SCHED_4BSD
options 	SYSVMSG
options 	SYSVSEM
options 	SYSVSHM
options 	WITNESS
options 	WITNESS_SKIPSPIN

device		ata
device		atadisk
device		bpf
device		da
device		em
device		ether
device		fxp
device		loop
device		md
device		miibus
device		pci
device		pty
device		quicc
device		random
#device		rl
device		scbus
device		scc
device		tsec
device		tun
device		uart
device		ugen
#device		uhci
device		umass
device		usb
device		genclock