| choice | |
| prompt "86xx Board Type" | |
| depends on PPC_86xx | |
| default MPC8641_HPCN | |
| config MPC8641_HPCN | |
| bool "Freescale MPC8641 HPCN" | |
| select PPC_I8259 | |
| select DEFAULT_UIMAGE | |
| select FSL_ULI1575 | |
| select HAS_RAPIDIO | |
| help | |
| This option enables support for the MPC8641 HPCN board. | |
| config SBC8641D | |
| bool "Wind River SBC8641D" | |
| select DEFAULT_UIMAGE | |
| help | |
| This option enables support for the WRS SBC8641D board. | |
| config MPC8610_HPCD | |
| bool "Freescale MPC8610 HPCD" | |
| select DEFAULT_UIMAGE | |
| help | |
| This option enables support for the MPC8610 HPCD board. | |
| endchoice | |
| config MPC8641 | |
| bool | |
| select FSL_PCI if PCI | |
| select PPC_UDBG_16550 | |
| select MPIC | |
| default y if MPC8641_HPCN || SBC8641D | |
| config MPC8610 | |
| bool | |
| select FSL_PCI if PCI | |
| select PPC_UDBG_16550 | |
| select MPIC | |
| default y if MPC8610_HPCD |