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
32 options INVARIANT_SUPPORT
47 options WITNESS_SKIPSPIN