2 # Custom kernel for Freescale QorIQ (P5xxx, Txxxx) based boards, like
12 machine powerpc powerpc64
14 makeoptions DEBUG="-Wa,-me500 -g"
15 makeoptions WERROR="-Werror -Wno-format -Wno-redundant-decls"
16 makeoptions NO_MODULES=yes
23 options _KPOSIX_PRIORITY_SCHEDULING
24 options ALT_BREAK_TO_DEBUGGER
25 options BREAK_TO_DEBUGGER
31 options COMPAT_FREEBSD32 #Compatible with FreeBSD/powerpc binaries
34 options DEVICE_POLLING
37 #makeoptions FDT_DTS_FILE=mpc8555cds.dts
43 options TCP_HHOOK # hhook(9) framework for TCP
45 options INVARIANT_SUPPORT
54 options PRINTF_BUFR_SIZE=128 # Prevent printf output being interspersed.
59 options CAPABILITY_MODE
65 options WITNESS_SKIPSPIN
98 options USB_DEBUG # enable debug msgs