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 quicc 78device random 79#device rl 80device scbus 81device scc 82device sec 83device tsec 84device tun 85device uart 86options USB_DEBUG # enable debug msgs 87#device uhci 88device umass 89device usb 90device vlan 91