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 cfi 54device da 55device em 56device ether 57device fxp 58device loop 59device md 60device miibus 61device pci 62device pty 63device quicc 64device random 65#device rl 66device scbus 67device scc 68device tsec 69device tun 70device uart 71device ugen 72#device uhci 73device umass 74device usb 75