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	help
11	  This option enables support for the MPC8641 HPCN board.
12
13endchoice
14
15config MPC8641
16	bool
17	select FSL_PCI if PCI
18	select PPC_UDBG_16550
19	select MPIC
20	default y if MPC8641_HPCN
21