-menu "Platform Support"
- depends on PPC_86xx
+config PPC_86xx
+menuconfig PPC_86xx
+ bool "86xx-based boards"
+ depends on 6xx && PPC_MULTIPLATFORM
+ select FSL_SOC
+ select ALTIVEC
+ help
+ The Freescale E600 SoCs have 74xx cores.
-choice
- prompt "Machine Type"
- default MPC8641_HPCN
+if PPC_86xx
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.
-endchoice
+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.
+endif
config MPC8641
bool
- select PPC_INDIRECT_PCI
+ select FSL_PCI if PCI
select PPC_UDBG_16550
- default y if MPC8641_HPCN
-
-config MPIC
- bool
- default y
+ select MPIC
+ default y if MPC8641_HPCN || SBC8641D
-config PPC_INDIRECT_PCI_BE
+config MPC8610
bool
- depends on PPC_86xx
- default y
-
-endmenu
+ select FSL_PCI if PCI
+ select PPC_UDBG_16550
+ select MPIC
+ default y if MPC8610_HPCD