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