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 select DEFAULT_UIMAGE 12 help 13 This option enables support for the MPC8641 HPCN board. 14 15endchoice 16 17 18config MPC8641 19 bool 20 select PPC_INDIRECT_PCI 21 select PPC_UDBG_16550 22 default y if MPC8641_HPCN 23 24config MPIC 25 bool 26 default y 27 28config PPC_INDIRECT_PCI_BE 29 bool 30 depends on PPC_86xx 31 default y 32 33endmenu 34