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 isa 61device loop 62device md 63device miibus 64device pci 65device pty 66device quicc 67device random 68#device rl 69device scbus 70device scc 71device tsec 72device tun 73device uart 74#device uhci 75device umass 76device usb 77device vlan 78