| menu "Platform Support" | |
| depends on PPC_86xx | |
| choice | |
| prompt "Machine Type" | |
| default MPC8641_HPCN | |
| config MPC8641_HPCN | |
| bool "Freescale MPC8641 HPCN" | |
| select PPC_I8259 | |
| help | |
| This option enables support for the MPC8641 HPCN board. | |
| endchoice | |
| config MPC8641 | |
| bool | |
| select PPC_INDIRECT_PCI | |
| select PPC_UDBG_16550 | |
| default y if MPC8641_HPCN | |
| config MPIC | |
| bool | |
| default y | |
| config PPC_INDIRECT_PCI_BE | |
| bool | |
| depends on PPC_86xx | |
| default y | |
| endmenu |