1# 2# Custom kernel for Freescale MPC85XX development boards like the CDS etc. 3# 4# $FreeBSD$ 5# 6 7cpu E500 8ident MPC85XX 9 10machine powerpc powerpc 11 12makeoptions DEBUG="-Wa,-me500 -g" 13makeoptions NO_MODULES=yes 14 15options FPU_EMU 16 17options _KPOSIX_PRIORITY_SCHEDULING 18options ALT_BREAK_TO_DEBUGGER 19options BREAK_TO_DEBUGGER 20options BOOTP 21options BOOTP_NFSROOT 22options BOOTP_NFSV3 23options BOOTP_WIRED_TO=tsec0 24options CD9660 25options COMPAT_43 26options DDB 27#options DEADLKRES 28options DEVICE_POLLING 29#options DIAGNOSTIC 30options FDT 31makeoptions FDT_DTS_FILE=mpc8572ds.dts 32#makeoptions FDT_DTS_FILE=mpc8555cds.dts 33options FFS 34options GDB 35options GEOM_PART_GPT 36options INET 37options INET6 38options INVARIANTS 39options INVARIANT_SUPPORT 40options KDB 41options KTRACE 42options MD_ROOT 43options MPC85XX 44options MSDOSFS 45options NFS_ROOT 46options NFSCL 47options NFSLOCKD 48options PROCFS 49options PSEUDOFS 50options SCHED_4BSD 51options SMP 52options SYSVMSG 53options SYSVSEM 54options SYSVSHM 55options WITNESS 56options WITNESS_SKIPSPIN 57 58device ata 59options ATA_CAM 60device bpf 61device cfi 62device crypto 63device cryptodev 64device da 65device ds1553 66device em 67device ether 68device fxp 69device iic 70device iicbus 71#device isa 72device loop 73device md 74device miibus 75device pass 76device pci 77device pty 78device quicc 79device random 80#device rl 81device scbus 82device scc 83device sec 84device tsec 85device tun 86device uart 87options USB_DEBUG # enable debug msgs 88#device uhci 89device umass 90device usb 91device vlan 92