#
# 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 	DEVICE_POLLING
options 	HZ=1000
#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 	NFSLOCKD
options 	PROCFS
options 	PSEUDOFS
options 	SCHED_4BSD
options		SMP
options 	SYSVMSG
options 	SYSVSEM
options 	SYSVSHM
options 	WITNESS
options 	WITNESS_SKIPSPIN

device		ata
device		atadisk
device		bpf
device		cfi
device		crypto
device		cryptodev
device		da
device		ds1553
device		em
device		ether
device		fxp
device		iic
device		iicbus
device		isa
device		loop
device		md
device		miibus
device		pci
device		pty
device		quicc
device		random
#device		rl
device		scbus
device		scc
device		sec
device		tsec
device		tun
device		uart
#device		uhci
device		umass
device		usb
device		vlan