2 # Custom kernel for Freescale MPC85XX development boards like the CDS etc.
11 machine powerpc powerpc
13 include "dpaa/config.dpaa"
14 makeoptions DEBUG="-Wa,-me500 -g"
15 makeoptions WERROR="-Werror -Wno-format -Wno-redundant-decls"
16 makeoptions NO_MODULES=yes
20 options _KPOSIX_PRIORITY_SCHEDULING
21 options ALT_BREAK_TO_DEBUGGER
22 options BREAK_TO_DEBUGGER
30 options DEVICE_POLLING
33 #makeoptions FDT_DTS_FILE=mpc8555cds.dts
39 options TCP_HHOOK # hhook(9) framework for TCP
41 options INVARIANT_SUPPORT
54 options CAPABILITY_MODE
60 options WITNESS_SKIPSPIN
61 options COMPAT_FREEBSD10
63 options KDTRACE_HOOKS # Kernel DTrace hooks
64 options DDB_CTF # Kernel ELF linker loads CTF data
99 options USB_DEBUG # enable debug msgs