choice
depends on ADK_LINUX_PPC64
prompt "Hardware model"

config ADK_HARDWARE_GENERIC_PPC64
	bool "Generic ppc64 system"
	help
	  Generic ppc64 system.

config ADK_HARDWARE_GENERIC_PPC64_TOOLCHAIN
	bool "ppc64 toolchain"
	select ADK_TOOLCHAIN_ONLY
	help
	  ppc64 toolchain.

endchoice