2 # Custom kernel for Freescale MPC85XX development boards like the CDS etc.
11 machine powerpc powerpc
13 makeoptions DEBUG="-Wa,-me500 -g"
14 makeoptions NO_MODULES=yes
18 options _KPOSIX_PRIORITY_SCHEDULING
19 options ALT_BREAK_TO_DEBUGGER
20 options BREAK_TO_DEBUGGER
24 options BOOTP_WIRED_TO=tsec0
29 options DEVICE_POLLING
32 makeoptions FDT_DTS_FILE=mpc8572ds.dts
33 #makeoptions FDT_DTS_FILE=mpc8555cds.dts
40 options INVARIANT_SUPPORT
53 options CAPABILITY_MODE
59 options WITNESS_SKIPSPIN
89 options USB_DEBUG # enable debug msgs