2 # Custom kernel for Freescale MPC85XX development boards like the CDS etc.
10 machine powerpc powerpc
12 makeoptions DEBUG="-Wa,-me500 -g"
13 makeoptions NO_MODULES=yes
17 options _KPOSIX_PRIORITY_SCHEDULING
18 options ALT_BREAK_TO_DEBUGGER
19 options BREAK_TO_DEBUGGER
23 options BOOTP_WIRED_TO=tsec0
28 options DEVICE_POLLING
31 makeoptions FDT_DTS_FILE=mpc8572ds.dts
32 #makeoptions FDT_DTS_FILE=mpc8555cds.dts
39 options INVARIANT_SUPPORT
56 options WITNESS_SKIPSPIN
87 options USB_DEBUG # enable debug msgs