c3e289e1ce
Kernel sources for 64-bit PowerPC, along with build-system changes to keep 32-bit kernels compiling (build system changes for 64-bit kernels are coming later). Existing 32-bit PowerPC kernel configurations must be updated after this change to specify their architecture.
91 lines
1.5 KiB
Plaintext
91 lines
1.5 KiB
Plaintext
#
|
|
# Custom kernel for Freescale MPC85XX development boards like the CDS etc.
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
cpu 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 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
|