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
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
64 # The powerpcspe target arch can run non Altivec/VMX powerpc binaries
65 # Keep COMPAT options in sync with powerpc target arch.
66 options COMPAT_FREEBSD6 # Compatible with FreeBSD6
67 options COMPAT_FREEBSD7 # Compatible with FreeBSD7
68 options COMPAT_FREEBSD9 # Compatible with FreeBSD9
69 options COMPAT_FREEBSD10 # Compatible with FreeBSD10
70 options COMPAT_FREEBSD11 # Compatible with FreeBSD11
71 options COMPAT_FREEBSD12 # Compatible with FreeBSD12
72 options COMPAT_FREEBSD13 # Compatible with FreeBSD13
75 options KDTRACE_HOOKS # Kernel DTrace hooks
76 options DDB_CTF # Kernel ELF linker loads CTF data
116 options USB_DEBUG # enable debug msgs
126 device virtio # Generic VirtIO bus (required)
127 device virtio_pci # VirtIO PCI device
128 device vtnet # VirtIO Ethernet device
129 device virtio_blk # VirtIO Block device
130 device virtio_scsi # VirtIO SCSI device
131 device virtio_balloon # VirtIO Memory Balloon device
140 options HID_DEBUG # enable debug msgs
141 device hid # Generic HID support