| 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 |
