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 PROCFS 41options PSEUDOFS 42options SCHED_4BSD 43options SYSVMSG 44options SYSVSEM 45options SYSVSHM 46options WITNESS 47options WITNESS_SKIPSPIN 48 49device ata 50device atadisk 51device bpf 52device da 53device em 54device ether 55device fxp 56device loop 57device md 58device miibus 59device pci 60device pty 61device quicc 62device random 63#device rl 64device scbus 65device scc 66device tsec 67device tun 68device uart 69device ugen 70#device uhci 71device umass 72device usb 73