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 SMP 47options SYSVMSG 48options SYSVSEM 49options SYSVSHM 50options WITNESS 51options WITNESS_SKIPSPIN 52 53device ata 54device atadisk 55device bpf 56device cfi 57device crypto 58device cryptodev 59device da 60device ds1553 61device em 62device ether 63device fxp 64device iic 65device iicbus 66device isa 67device loop 68device md 69device miibus 70device pci 71device pty 72device quicc 73device random 74#device rl 75device scbus 76device scc 77device sec 78device tsec 79device tun 80device uart 81#device uhci 82device umass 83device usb 84device vlan 85