# This file is part of the OpenADK project. OpenADK is copyrighted
# material, please see the LICENCE file in the top-level directory.

choice ADK_TARGET_CPU
prompt "CPU type"
depends on ADK_TARGET_SYSTEM_GENERIC_X86_64
default ADK_TARGET_CPU_X86_64
help
  Selection of x86_64 CPU type which gives gcc optimization.
  For details on the different types, see:
  https://gcc.gnu.org/onlinedocs/gcc-5.3.0/gcc/x86-Options.html#x86-Options


endchoice