freebsd-dev/sys/powerpc/conf/MPC85XX
2009-06-25 10:07:21 +00:00

85 lines
1.3 KiB
Plaintext

#
# 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