# target architectures config ADK_aarch64 bool config ADK_arm bool config ADK_m68k bool config ADK_microblaze bool config ADK_mips bool config ADK_ppc bool config ADK_ppc64 bool config ADK_sparc bool config ADK_sparc64 bool config ADK_sh bool config ADK_x86_64 bool config ADK_x86 bool config ADK_TARGET_ARCH string default "aarch64" if ADK_aarch64 default "arm" if ADK_arm default "m68k" if ADK_m68k default "microblaze" if ADK_microblaze default "mips" if ADK_mips default "ppc" if ADK_ppc default "ppc64" if ADK_ppc64 default "sparc" if ADK_sparc default "sparc64" if ADK_sparc64 default "sh" if ADK_sh default "x86" if ADK_x86 default "x86_64" if ADK_x86_64