| choicedepends on ADK_LINUX_PPC64prompt "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
 |