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 25#options DEADLKRES 26options DEVICE_POLLING 27options HZ=1000 28#options DIAGNOSTIC 29options FFS 30options GDB 31options GEOM_PART_GPT 32options INET 33options INET6 34options INVARIANTS 35options INVARIANT_SUPPORT 36options KDB 37options KTRACE 38options MD_ROOT 39options MPC85XX 40options MSDOSFS 41options NFS_ROOT 42options NFSCLIENT 43options NFSLOCKD 44options PROCFS 45options PSEUDOFS 46options SCHED_4BSD 47options SMP 48options SYSVMSG 49options SYSVSEM 50options SYSVSHM 51options WITNESS 52options WITNESS_SKIPSPIN 53 54device ata 55device atadisk 56device bpf 57device cfi 58device crypto 59device cryptodev 60device da 61device ds1553 62device em 63device ether 64device fxp 65device iic 66device iicbus 67device isa 68device loop 69device md 70device miibus 71device pci 72device pty 73device quicc 74device random 75#device rl 76device scbus 77device scc 78device sec 79device tsec 80device tun 81device uart 82#device uhci 83device umass 84device usb 85device vlan 86