menu "Platform Support"
	depends on PPC_86xx

choice
	prompt "Machine Type"
	default MPC8641_HPCN

config MPC8641_HPCN
	bool "Freescale MPC8641 HPCN"
	select PPC_I8259
	help
	  This option enables support for the MPC8641 HPCN board.

endchoice


config MPC8641
	bool
	select PPC_INDIRECT_PCI
	select PPC_UDBG_16550
	default y if MPC8641_HPCN

config MPIC
	bool
	default y

config PPC_INDIRECT_PCI_BE
	bool
	depends on PPC_86xx
	default y

endmenu