freebsd-skq/sys/powerpc/conf/MPC85XX
2008-10-25 06:25:15 +00:00

75 lines
1.2 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 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 SYSVMSG
options SYSVSEM
options SYSVSHM
options WITNESS
options WITNESS_SKIPSPIN
device ata
device atadisk
device bpf
device cfi
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