1menu "Platform Support"
2	depends on PPC_86xx
3
4choice
5	prompt "Machine Type"
6	default MPC8641_HPCN
7
8config MPC8641_HPCN
9	bool "Freescale MPC8641 HPCN"
10	select PPC_I8259
11	help
12	  This option enables support for the MPC8641 HPCN board.
13
14endchoice
15
16
17config MPC8641
18	bool
19	select PPC_INDIRECT_PCI
20	select PPC_UDBG_16550
21	default y if MPC8641_HPCN
22
23config MPIC
24	bool
25	default y
26
27config PPC_INDIRECT_PCI_BE
28	bool
29	depends on PPC_86xx
30	default y
31
32endmenu
33