menu "Platform support"
	depends on PPC_85xx

choice
	prompt "Machine Type"
	default MPC8540_ADS

config MPC8540_ADS
	bool "Freescale MPC8540 ADS"
	select DEFAULT_UIMAGE
	help
	  This option enables support for the MPC 8540 ADS board

config MPC85xx_CDS
	bool "Freescale MPC85xx CDS"
	select DEFAULT_UIMAGE
	select PPC_I8259 if PCI
	help
	  This option enables support for the MPC85xx CDS board

endchoice

config MPC8540
	bool
	select PPC_UDBG_16550
	select PPC_INDIRECT_PCI
	default y if MPC8540_ADS || MPC85xx_CDS

config PPC_INDIRECT_PCI_BE
	bool
	depends on PPC_85xx
	default y

config MPIC
	bool
	default y

endmenu