2 # Custom kernel for Freescale MPC85XX development boards like the CDS etc.
11 machine powerpc powerpc
13 include "dpaa/config.dpaa"
14 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
15 makeoptions WITH_CTF=1
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
37 options GEOM_LABEL # Provides labelization
40 options TCP_HHOOK # hhook(9) framework for TCP
42 options INVARIANT_SUPPORT
51 options PRINTF_BUFR_SIZE=128 # Prevent printf output being interspersed.
56 options CAPABILITY_MODE
62 options WITNESS_SKIPSPIN
63 options COMPAT_FREEBSD10
64 options COMPAT_FREEBSD11
65 options COMPAT_FREEBSD12
66 options COMPAT_FREEBSD13
68 options KDTRACE_HOOKS # Kernel DTrace hooks
69 options DDB_CTF # Kernel ELF linker loads CTF data
109 options USB_DEBUG # enable debug msgs
125 options HID_DEBUG # enable debug msgs
126 device hid # Generic HID support