1config PPC_WSP
2	bool
3	select PPC_A2
4	select GENERIC_TBSYNC
5	select PPC_ICSWX
6	select PPC_SCOM
7	select PPC_XICS
8	select PPC_ICP_NATIVE
9	select PCI
10	select PPC_IO_WORKAROUNDS if PCI
11	select PPC_INDIRECT_PIO if PCI
12	select PPC_WSP_COPRO
13	default n
14
15menu "WSP platform selection"
16	depends on PPC_BOOK3E_64
17
18config PPC_PSR2
19	bool "PowerEN System Reference Platform 2"
20	select EPAPR_BOOT
21	select PPC_WSP
22	default y
23
24config PPC_CHROMA
25	bool "PowerEN PCIe Chroma Card"
26	select EPAPR_BOOT
27	select PPC_WSP
28	default y
29
30endmenu
31
32config PPC_A2_DD2
33	bool "Support for DD2 based A2/WSP systems"
34	depends on PPC_A2
35