config PPC_WSP
	bool
	select PPC_A2
	select PPC_SCOM
	select PPC_XICS
	select PPC_ICP_NATIVE
	select PCI
	select PPC_IO_WORKAROUNDS if PCI
	select PPC_INDIRECT_PIO if PCI
	default n

menu "WSP platform selection"
	depends on PPC_BOOK3E_64

config PPC_PSR2
	bool "PSR-2 platform"
	select GENERIC_TBSYNC
	select EPAPR_BOOT
	select PPC_WSP
	default y

endmenu

config PPC_A2_DD2
	bool "Support for DD2 based A2/WSP systems"
	depends on PPC_A2