1# 2# Custom kernel for Freescale MPC85XX development boards like the CDS etc. 3# 4# $FreeBSD$ 5# 6 7cpu BOOKE 8cpu BOOKE_E500 9ident MPC85XXSPE 10 11machine powerpc powerpcspe 12 13include "dpaa/config.dpaa" 14makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols 15makeoptions WITH_CTF=1 16makeoptions WERROR="-Werror -Wno-format -Wno-redundant-decls" 17 18options FPU_EMU 19options MAXCPU=2 20 21options _KPOSIX_PRIORITY_SCHEDULING 22options ALT_BREAK_TO_DEBUGGER 23options BREAK_TO_DEBUGGER 24options BOOTP 25options BOOTP_NFSROOT 26#options BOOTP_NFSV3 27options CD9660 28options COMPAT_43 29options DDB 30#options DEADLKRES 31options DEVICE_POLLING 32#options DIAGNOSTIC 33options FDT 34#makeoptions FDT_DTS_FILE=mpc8555cds.dts 35options FFS 36options GDB 37options GEOM_PART_GPT 38options INET 39options INET6 40options TCP_HHOOK # hhook(9) framework for TCP 41options INVARIANTS 42options INVARIANT_SUPPORT 43options KDB 44options KTRACE 45options MD_ROOT 46options MPC85XX 47options MSDOSFS 48options NFS_ROOT 49options NFSCL 50options NFSLOCKD 51options PRINTF_BUFR_SIZE=128 # Prevent printf output being interspersed. 52options PROCFS 53options PSEUDOFS 54options SCHED_ULE 55options CAPABILITIES 56options CAPABILITY_MODE 57options SMP 58options SYSVMSG 59options SYSVSEM 60options SYSVSHM 61options WITNESS 62options WITNESS_SKIPSPIN 63options COMPAT_FREEBSD10 64options COMPAT_FREEBSD11 65options HWPMC_HOOKS 66options KDTRACE_HOOKS # Kernel DTrace hooks 67options DDB_CTF # Kernel ELF linker loads CTF data 68 69device ata 70device bpf 71device cfi 72device cpufreq 73device crypto 74device cryptodev 75device da 76device ds1307 77device ds1553 78device iflib 79device em 80device alc 81device ether 82device fxp 83device gpio 84device gpiopower 85device iic 86device iicbus 87#device isa 88device loop 89device md 90device miibus 91device mmc 92device mmcsd 93device pass 94device pci 95device quicc 96device random 97#device rl 98device scbus 99device scc 100device sdhci 101device sec 102device spibus 103device spigen 104device tsec 105device dpaa 106device tun 107device uart 108options USB_DEBUG # enable debug msgs 109#device uhci 110device ehci 111device ukbd 112device ums 113device umass 114device usb 115device vlan 116 117# P1022 DIU 118device diu 119device videomode 120device vt 121device fbd 122