2 # Custom kernel for Freescale MPC85XX development boards like the CDS etc.
11 machine powerpc powerpcspe
13 include "dpaa/config.dpaa"
14 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
15 makeoptions WITH_CTF=1
16 makeoptions WERROR="-Werror -Wno-format -Wno-redundant-decls"
17 makeoptions NO_MODULES=yes
21 options _KPOSIX_PRIORITY_SCHEDULING
22 options ALT_BREAK_TO_DEBUGGER
23 options BREAK_TO_DEBUGGER
31 options DEVICE_POLLING
34 #makeoptions FDT_DTS_FILE=mpc8555cds.dts
40 options TCP_HHOOK # hhook(9) framework for TCP
42 options INVARIANT_SUPPORT
55 options CAPABILITY_MODE
61 options WITNESS_SKIPSPIN
62 options COMPAT_FREEBSD10
63 options COMPAT_FREEBSD11
65 options KDTRACE_HOOKS # Kernel DTrace hooks
66 options DDB_CTF # Kernel ELF linker loads CTF data
106 options USB_DEBUG # enable debug msgs