#
# 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 	DEADLKRES
options 	DEVICE_POLLING
#options 	DIAGNOSTIC
options 	FDT
makeoptions	FDT_DTS_FILE=mpc8572ds.dts
#makeoptions	FDT_DTS_FILE=mpc8555cds.dts
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
options 	USB_DEBUG	# enable debug msgs
#device		uhci
device		umass
device		usb
device		vlan