powerpc: Add C2K to configuration

Support for the C2K cPCI Single Board Computer from GEFanuc
(PowerPC MPC7448 with a Marvell MV64460 chipset).
All features of the board are not supported yet, but the board
boots, flash works, all Ethernet ports are working and PCI
devices are all found (USB and SATA on PCI1 do not work yet).

Part 5 of 5: add the Kconfig entry for the C2K board.

Signed-off-by: Remi Machet <rmachet@slac.stanford.edu>
Signed-off-by: Paul Mackerras <paulus@samba.org>

diff --git a/arch/powerpc/platforms/embedded6xx/Kconfig b/arch/powerpc/platforms/embedded6xx/Kconfig
index 4290889678137f1fc20ad3a7f9550e844c7568a7..4f9f8184d164146a577727e67ab1999f74a9e963 100644 (file)
--- a/arch/powerpc/platforms/embedded6xx/Kconfig
+++ b/arch/powerpc/platforms/embedded6xx/Kconfig
@@ -59,6 +59,16 @@ config PPC_PRPMC2800
        help
          This option enables support for the Motorola PrPMC2800 board
 
+config PPC_C2K
+       bool "SBS/GEFanuc C2K board"
+       depends on EMBEDDED6xx
+       select MV64X60
+       select NOT_COHERENT_CACHE
+       select MTD_CFI_I4
+       help
+         This option enables support for the GE Fanuc C2K board (formerly
+         an SBS board).
+
 config TSI108_BRIDGE
        bool
        select PCI