Config.in.x86_64 448 B

123456789101112131415
  1. # This file is part of the OpenADK project. OpenADK is copyrighted
  2. # material, please see the LICENCE file in the top-level directory.
  3. choice ADK_TARGET_CPU
  4. prompt "CPU type"
  5. depends on ADK_TARGET_SYSTEM_GENERIC_X86_64
  6. default ADK_TARGET_CPU_X86_64
  7. help
  8. Selection of x86_64 CPU type which gives gcc optimization.
  9. For details on the different types, see:
  10. https://gcc.gnu.org/onlinedocs/gcc-5.3.0/gcc/x86-Options.html#x86-Options
  11. endchoice