1choice
2	prompt "86xx Board 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	select FSL_ULI1575
11	help
12	  This option enables support for the MPC8641 HPCN board.
13
14config MPC8610_HPCD
15	bool "Freescale MPC8610 HPCD"
16	select DEFAULT_UIMAGE
17	help
18	  This option enables support for the MPC8610 HPCD board.
19
20endchoice
21
22config MPC8641
23	bool
24	select FSL_PCI if PCI
25	select PPC_UDBG_16550
26	select MPIC
27	default y if MPC8641_HPCN
28
29config MPC8610
30	bool
31	select FSL_PCI if PCI
32	select PPC_UDBG_16550
33	select MPIC
34	default y if MPC8610_HPCD
35