17f4cae4a5
implementation specific vs. the common architecture definition. Bring PPC4XX defines (PSL, SPR, TLB). Note the new definitions under BOOKE_PPC4XX are not used in the code yet. This change set is not supposed to affect existing E500 support, it's just another reorg step before bringing support for E500mc, E5500 and PPC465. Obtained from: AppliedMicro, Freescale, Semihalf
92 lines
1.5 KiB
Plaintext
92 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
|
|
options ATA_CAM
|
|
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
|