freebsd-skq/sys/powerpc/conf/MPC85XX
2013-07-31 17:21:18 +00:00

91 lines
1.5 KiB
Plaintext

#
# Custom kernel for Freescale MPC85XX development boards like the CDS etc.
#
# $FreeBSD$
#
cpu BOOKE
cpu BOOKE_E500
ident MPC85XX
machine powerpc powerpc
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 NFSCL
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 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 pass
device pci
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