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 DIAGNOSTIC 26options FFS 27options GDB 28options GEOM_PART_GPT 29options INET 30options INET6 31options INVARIANTS 32options INVARIANT_SUPPORT 33options KDB 34options KTRACE 35options MD_ROOT 36options MPC85XX 37options MSDOSFS 38options NFS_ROOT 39options NFSCLIENT 40options NFSLOCKD 41options PROCFS 42options PSEUDOFS 43options SCHED_4BSD 44options SYSVMSG 45options SYSVSEM 46options SYSVSHM 47options WITNESS 48options WITNESS_SKIPSPIN 49 50device ata 51device atadisk 52device bpf 53device da 54device em 55device ether 56device fxp 57device loop 58device md 59device miibus 60device pci 61device pty 62device quicc 63device random 64#device rl 65device scbus 66device scc 67device tsec 68device tun 69device uart 70device ugen 71#device uhci 72device umass 73device usb 74