1# 2# Custom kernel for Freescale MPC85XX development boards like the CDS etc. 3# 4# $FreeBSD$ 5# 6 7cpu E500 8ident MPC85XX 9 10makeoptions DEBUG="-Wa,-me500 -g" 11makeoptions NO_MODULES=yes 12 13options FPU_EMU 14 15options _KPOSIX_PRIORITY_SCHEDULING 16options ALT_BREAK_TO_DEBUGGER 17options BREAK_TO_DEBUGGER 18options BOOTP 19options BOOTP_NFSROOT 20options BOOTP_NFSV3 21options BOOTP_WIRED_TO=tsec0 22options CD9660 23options COMPAT_43 24options DDB 25options DEVICE_POLLING 26options HZ=1000 27#options DIAGNOSTIC 28options FFS 29options GDB 30options GEOM_PART_GPT 31options INET 32options INET6 33options INVARIANTS 34options INVARIANT_SUPPORT 35options KDB 36options KTRACE 37options MD_ROOT 38options MPC85XX 39options MSDOSFS 40options NFS_ROOT 41options NFSCLIENT 42options NFSLOCKD 43options PROCFS 44options PSEUDOFS 45options SCHED_4BSD 46options SYSVMSG 47options SYSVSEM 48options SYSVSHM 49options WITNESS 50options WITNESS_SKIPSPIN 51 52device ata 53device atadisk 54device bpf 55device cfi 56device da 57device em 58device ether 59device fxp 60device loop 61device md 62device miibus 63device pci 64device pty 65device quicc 66device random 67#device rl 68device scbus 69device scc 70device tsec 71device tun 72device uart 73#device uhci 74device umass 75device usb 76device vlan 77