2 # Custom kernel for Freescale MPC85XX development boards like the CDS etc.
10 machine powerpc powerpc
12 include "dpaa/config.dpaa"
13 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
14 makeoptions WITH_CTF=1
19 options _KPOSIX_PRIORITY_SCHEDULING
20 options ALT_BREAK_TO_DEBUGGER
21 options BREAK_TO_DEBUGGER
29 options DEVICE_POLLING
32 #makeoptions FDT_DTS_FILE=mpc8555cds.dts
36 options GEOM_LABEL # Provides labelization
39 options TCP_HHOOK # hhook(9) framework for TCP
41 options INVARIANT_SUPPORT
50 options PRINTF_BUFR_SIZE=128 # Prevent printf output being interspersed.
55 options CAPABILITY_MODE
61 options WITNESS_SKIPSPIN
62 options COMPAT_FREEBSD10
63 options COMPAT_FREEBSD11
64 options COMPAT_FREEBSD12
65 options COMPAT_FREEBSD13
66 options COMPAT_FREEBSD14 # Compatible with FreeBSD14
68 options KDTRACE_HOOKS # Kernel DTrace hooks
69 options DDB_CTF # Kernel ELF linker loads CTF data
109 options USB_DEBUG # enable debug msgs
128 options EVDEV_SUPPORT # evdev support in legacy drivers
129 device evdev # input event device support
130 device uinput # install /dev/uinput cdev
133 options HID_DEBUG # enable debug msgs
134 device hid # Generic HID support
135 device hidbus # Generic HID bus