1choice
2	prompt "Machine Type"
3	depends on PPC_86xx
4	default MPC8641_HPCN
5
6config MPC8641_HPCN
7	bool "Freescale MPC8641 HPCN"
8	select PPC_I8259
9	select DEFAULT_UIMAGE
10	help
11	  This option enables support for the MPC8641 HPCN board.
12
13endchoice
14
15config MPC8641
16	bool
17	select PPC_INDIRECT_PCI
18	select PPC_INDIRECT_PCI_BE
19	select PPC_UDBG_16550
20	select MPIC
21	default y if MPC8641_HPCN
22