menu "Platform support"
	depends on PPC_85xx

choice
	prompt "Machine Type"
	default MPC8540_ADS

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

endchoice

config MPC8540
	bool
	select PPC_UDBG_16550
	select PPC_INDIRECT_PCI
	default y if MPC8540_ADS

config PPC_INDIRECT_PCI_BE
	bool
	depends on PPC_85xx
	default y

config MPIC
	bool
	default y

endmenu