2 # Custom kernel for Freescale MPC85XX development boards like the CDS etc.
10 makeoptions DEBUG="-Wa,-me500 -g"
11 makeoptions NO_MODULES=yes
15 options _KPOSIX_PRIORITY_SCHEDULING
16 options ALT_BREAK_TO_DEBUGGER
17 options BREAK_TO_DEBUGGER
21 options BOOTP_WIRED_TO=tsec0
25 options DEVICE_POLLING
34 options INVARIANT_SUPPORT
51 options WITNESS_SKIPSPIN
81 options USB_DEBUG # enable debug msgs